Alexander Bienemann Zalan Kramer Peggy Schmidt Bernhard Thalheim ASM Support for Validation of Specifications: Lessons Learned from an eGovernment Project. 417- 2005 conf/asm/2005 Abstract State Machines http://www.univ-paris12.fr/lacl/dima/asm05/asm05BinKraSchTha.ps db/conf/asm/asm2005.html#BienemannKST05