Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.”10.1145/2304696.2304716__Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), ACM, 2012, pp. 117–22, doi:10.1145/2304696.2304716.

Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”10.1109/DATE.2010.5457130__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.