Wolfgang Ahrendt Thomas Baar Bernhard Beckert Martin Giese Elmar Habermalz Reiner Hähnle Wolfram Menzel Peter H. Schmitt The KeY Approach: Integrating Object Oriented Design and Formal Verification. 21-36 2000 conf/jelia/2000 JELIA http://link.springer.de/link/service/series/0558/bibs/1919/19190021.htm db/conf/jelia/jelia2000.html#AhrendtBBGHHMS00