Peter Herrmann, Günter Graw, Heiko Krumm. Compositional Specification and Structured Verification of Hybrid Systems in cTLA. In 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 98), 20-22 April 1998, Kyoto, Japan. pages 335, IEEE Computer Society, 1998. [doi]
Abstract is missing.