Formal Methods and Hybrid Real-Time Systems : Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays - Cliff B. Jones, Zhiming Liu, Jim Woodcock ((Lecture Notes in Computer Science))