Becker, M., Luckey, M., &; Becker, S. (2012). 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) (pp. 117–122). New York, NY, USA: ACM.https://doi.org/10.1145/2304696.2304716 

Oliveira, M. F. S., Zabel, H., &; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457130