Specifying Requirements for Real-Time Systems. - Satish Srinivasan; Scott Lancaster; Mansour Zand; Cobra Rahmani (SEDE, 2009)