A logical approach for specification and execution of concurrent real-time systems.

Rafael Ramrez

Browse the full RTCSA paper archive.