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