Formal Techniques in Real-Time and Fault-Tolerant Systems 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings Damm Werner Heftet / 2002 / Engelsk
Model Checking, Synthesis, and Learning Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday Olderog, Ernst-Rüdiger Heftet / 2021 / Engelsk
Real-Time Systems Formal Specification and Automatic Verification Olderog, Ernst-Rüdiger Innbundet / 2008 / Engelsk
Programmverifikation Sequentielle, parallele und verteilte Programme Apt, Krzysztof R. Heftet / 1994 / Tysk
