Lalita Jategaonkar Jagadeesan Carlos Puchol James Von Olnhausen Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software. 127-140 1995 conf/cav/1995 CAV db/conf/cav/cav95.html#JagadeesanPO95 http://dx.doi.org/10.1007/3-540-60045-0_45