Bojan Cukic;Farokh B. Bastani
-;-
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering