Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance Engineering of Self-Adaptive Systems: A Survey.”https://doi.org/10.1145/2304696.2304716__In Proceedings of the 8th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), 117–22. New York, NY, USA: ACM, 2012.https://doi.org/10.1145/2304696.2304716 .
LibreCat: /record/22737
DOI: 10.1145/2304696.2304716

Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.”https://doi.org/10.1109/DATE.2010.5457130__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457130 .
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130