Homepage of Søren T. Heilmann Isabelle/DC: Proof Assistant for Duration Calculus Information on Isabelle/DC is available here. PC/DC: The Proof Checker for Duration Calculus Information on PC/DC has moved to here . Publications Søren T. Heilmann Proof Support for Duration Calculus Department of Information Technology, Technical University of Denmark, PhD-thesis, January 1999. Postscript, CD-ROM Søren T. Heilmann The Steam Boiler, a Case Study in Proof Support Proceedings of European Summer School in Logic, Language and Information (ESSLLI'98), Saarbruecken, Germany , August 1998 Søren T. Heilmann PC/DC Users Guide Thomas J. Eriksen, Søren T. Heilmann, Michael Holdgaard and Anders P. Ravn Hybrid Systems: A Real-Time Interface to Control Engineering Proceedings of Euromicro 96 Workshop on Real-Time Systems, L'Aquila, Italy, June 1996 Søren T. Heilmann A Proof Tool for the Duration Calculus: Theory and Application Presented at Workshop on Tool Support for System Development and Verification, Bremen, Germany, June 1996 Søren Heilmann, e-mail:sth@sth.dk, last modified:2001-9-24