M. Becker, M. Luckey, and S. Becker, “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), 2012, pp. 117–122.
LibreCat: /record/22737
DOI: 10.1145/2304696.2304716

M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification of RTOS Properties,”10.1109/DATE.2010.5457130__presented at the 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden, 2010, doi:10.1109/DATE.2010.5457130 .
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130