Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21. 2007, advanced lectures - Woodcock, Jim; Liu, Zhiming; George, Chris W. (Lecture Notes in Computer Science, 2007)