Lausdahl, K.; Coleman, J. W.; Larsen, P. G. Semantics of the VDM Real-Time Dialect. ECE-TR 2013, 2.