A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM.

Kenneth Lausdahl, Peter Gorm Larsen, Nick Battle

Browse the full ICFEM paper archive.