Bruno Langenstein Andreas Nonnengart Georg Rock Werner Stephan A History-based Verification of Distributed Applications. 2007 VERIFY http://ceur-ws.org/Vol-259/paper08.pdf conf/cade/2007verify db/conf/cade/verify2007.html#LangensteinNRS07