Domain Modeling and the Duration Calculus International Training School, Shanghai, China, September 10-21, 2007, Advanced Lectures - George,Chris; Liu,Zhiming; Woodcock,Jim (Springer London, Limited)