Kathrin Kaschner Niels Lohmann Does my service have unspecified behavior? 22-28 2009 ZEUS http://CEUR-WS.org/Vol-438/paper4.pdf conf/zeus/2009 db/conf/zeus/zeus2009.html#KaschnerL09