Formal Methods and Hybrid Real-Time Systems Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays - Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim (Springer Berlin Heidelberg, 2007)