A. Udaya Shankar: A simple assertional proof system for real-time systems. RTSS 1992: 167-176