Wolfgang Ahrendt Thomas Baar Bernhard Beckert Richard Bubel Martin Giese Reiner Hähnle Wolfram Menzel Wojciech Mostowski Andreas Roth Steffen Schlager Peter H. Schmitt The KeY tool. 32-54 2005 4 Software and System Modeling 1 http://www.springerlink.com/index/10.1007/s10270-004-0058-x db/journals/sosym/sosym4.html#AhrendtBBBGHMMRSS05