K. Lausdahl, J. W. Coleman, og P. G. Larsen, “Semantics of the VDM Real-Time Dialect”, ECE-TR, bd. 2, nr. 13, apr. 2013.