| Vladimiro Sassone
School of Electronics and Computer Science
University of Southampton
Southampton
SO17 1BJ
United Kingdom
| Joost-Pieter Katoen
Modeling and Verification of Software
Department of Computer Science 2
RWTH Aachen University
Ahornstrasse 55
52056 Aachen
Germany
|
