Real-time specification patterns.

Sascha Konrad, Betty H. C. Cheng

Browse the full ICSE paper archive.