Formal methods and hybrid real-time systems : essays in honour of Dines Bjorner and Zhou Chaochen on the occasion of their 70th birthdays - Bjorner, D. [ (Dines)] , 1937-; Zhou, Chaochen , 1937- (LNCS sublibrary. Theoretical computer science and general issues, 2007)