Philipp Peti, Roman Obermaisser, Hermann Kopetz: Out-of-Norm Assertions. IEEE Real-Time and Embedded Technology and Applications Symposium 2005: 280-291