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