Lausdahl, K., Coleman, J. W., & Larsen, P. G. (2013). Semantics of the VDM Real-Time Dialect. Technical Report Electronics and Computer Engineering, 2(13). Retrieved from https://tidsskrift.dk/ece/article/view/21228