Domain Modeling and the Duration Calculus - George, Chris W.; Kanade, Takeo; Liu, Zhiming; Woodcock, Jim; George, Chris; Kittler, Josef (Springer Berlin Heidelberg, 2007)