Michael Dawson Paul Thwaite Testing class libraries for RTSJ safety. 61-67 2008 JTRES http://doi.acm.org/10.1145/1434790.1434800 conf/jtres/2008 db/conf/jtres/jtres2008.html#DawsonT08