Víctor A. Braberman Nicolas Kicillof Alfredo Olivero A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. 1028-1041 2005 31 IEEE Trans. Software Eng. 12 http://doi.ieeecomputersociety.org/10.1109/TSE.2005.131 db/journals/tse/tse31.html#BrabermanKO05