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