Testing class libraries for RTSJ safety. - Michael Dawson 001; Paul Thwaite (JTRES, 2008)