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 March 14, 2025. https://tidsskrift.dk/ece/article/view/21228.