A framework to model dependable real-time systems based on real-time object model.

Hyung-Taek Lim, Seung-Min Yang

Browse the full RTCSA paper archive.