Lausdahl, Kenneth, m.fl. “Semantics of the VDM Real-Time Dialect”. Technical Report Electronics and Computer Engineering, bd. 2, nr. 13, april 2013, doi:10.7146/ece.v2i13.21228.