Becker M, Luckey M, Becker S. Model-driven Performance Engineering of Self-adaptive Systems: A Survey. In: Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA). New York, NY, USA: ACM; 2012:117-122. doi:10.1145/2304696.2304716

Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130