Serge Autexier Dieter Hutter Bruno Langenstein Heiko Mantel Georg Rock Axel Schairer Werner Stephan Roland Vogt Andreas Wolpers VSE: formal methods meet industrial needs. 66-77 2000 3 STTT 1 http://link.springer.de/link/service/journals/10009/bibs/0003001/00030066.htm db/journals/sttt/sttt3.html#AutexierHLMRSSVW00