Manfred Broy. System Behaviour Models with Discrete and Dense Time. In Samarjit Chakraborty, Jörg Eberspächer, editors, Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years). pages 3-25, Springer, 2012. [doi]
Abstract is missing.