An Approach Towards Formal Verification of Object Oriented Real-Time Systems.

Ruud C. M. de Rooij, Jan van Katwijk

Browse the full RTCSA paper archive.