© 2011 Terma A/S 1 VDM-RT: Distributed Real-time Modeling Industrial Postdoc, Sune Wolff Terma A/S ([email protected])[email protected] Aarhus University, Department.