Jeffrey W. Sanders, Graeme Smith. Formal Ensemble Engineering. In Martin Wirsing, Jean-Pierre Banâtre, Matthias M. Hölzl, Axel Rauschmayer, editors, Software-Intensive Systems and New Computing Paradigms - Challenges and Visions. Volume 5380 of Lecture Notes in Computer Science, pages 132-138, Springer, 2008. [doi]
Abstract is missing.