Lausdahl, K., J. W. Coleman, and P. G. Larsen. “Semantics of the VDM Real-Time Dialect”. Technical Report Electronics and Computer Engineering, vol. 2, no. 13, Apr. 2013, https://tidsskrift.dk/ece/article/view/21228.