Lausdahl, Kenneth, Joey W. Coleman, and Peter Gorm Larsen. 2013. “Semantics of the VDM Real-Time Dialect”. Technical Report Electronics and Computer Engineering 2 (13). https://tidsskrift.dk/ece/article/view/21228.