K. Lausdahl, J. W. Coleman, and P. G. Larsen, “Semantics of the VDM Real-Time Dialect”, ECE-TR, vol. 2, no. 13, Apr. 2013.