Formal Description of Real-time Systems using SDL.

Mohamed Ashour, Ferhat Khendek, Tho Le-Ngoc

Browse the full RTCSA paper archive.