Satish Srinivasan Scott Lancaster Mansour Zand Cobra Rahmani Specifying Requirements for Real-Time Systems. 180-184 2009 SEDE conf/sede/2009 db/conf/sede/sede2009.html#SrinivasanLZR09