Martin Biely, Gérard Le Lann, Ulrich Schmid. Proof-Based System Engineering Using a Virtual System Model. In Miroslaw Malek, Edgar Nett, Neeraj Suri, editors, Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers. Volume 3694 of Lecture Notes in Computer Science, pages 164-179, Springer, 2005. [doi]