Lausdahl K, Coleman JW, Larsen PG. Semantics of the VDM Real-Time Dialect. ECE-TR [Internet]. 2. april 2013 [henvist 26. april 2025];2(13). Tilgængelig hos: https://tidsskrift.dk/ece/article/view/21228