Domain Modeling and the Duration Calculus - George, Chris (Springer Berlin Heidelberg, 2020)