Lausdahl, K., Coleman, J.W. and Larsen, P.G. 2013. Semantics of the VDM Real-Time Dialect. Technical Report Electronics and Computer Engineering. 2, 13 (Apr. 2013).