Christian von Essen and Barbara Jobstmann. Synthesizing Efficient Controllers. In International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), pages 428–444, 2012. (doi:10.1007/978-3-642-27940-9_28)
Saddek Bensalem, Andreas Griesmayer, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, and Rongjie Yan. D-Finder 2: Towards Efficient Correctness of Incremental Design. In Mihaela Gheorghiu Bobaru, Klaus Havelund, Gerard J. Holzmann, and Rajeev Joshi, editors, NASA Formal Methods - Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings, volume 6617 of Lecture Notes in Computer Science, pages 453–458. Springer, 2011. (doi:10.1007/978-3-642-20398-5_32)
Matthias Hölzl and Martin Wirsing. Towards a System Model for Ensembles. In Gul Agha, Olivier Danvy, and José Meseguer, editors, Festschrift in honor of Carolyn Talcott, volume 7000 of Lecture Notes in Computer Science, pages 241–261. Springer, 2011.
Franco Zambonelli, Nicola Bicocchi, Giacomo Cabri, Letizia Leonardi, and Mariachiara Puviani. On Self-adaptation, Self-expression, and Self-awareness in Autonomic Service Component Ensembles. In 2011 International Conference on Self-Adaptive and Self-Organizing Systems Workshops, Ann Arbor (MC), October 2011. IEEE CS Press.