Software reliability and security group Address: Institut für Formale Methoden der Informatik Universität Stuttgart Universitätsstr. 38 70569 Stuttgart Germany Office: 1.332 Phone: +49 711 7816-459 Email: koziouvi@fmi.uni-stuttgart.de Publications