Philipp Peti Roman Obermaisser Hermann Kopetz Out-of-Norm Assertions. 280-291 2005 conf/rtas/2005 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTAS.2005.38 db/conf/rtas/rtas2005.html#PetiOK05