"Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures" - читать интересную книгу автора (Chris George, Zhiming Liu, Jim Woodcock)