René Elmstrøm Poul Bøgh Lassen Michael Andersen An Executable Subset of VDM-SL, in an SA/RT Framework. 197-211 1993 5 Real-Time Systems 2-3 db/journals/rts/rts5.html#ElmstromLA93