Orna Kupferman Moshe Y. Vardi Synthesis of Trigger Properties. 312-331 2010 LPAR (Dakar) http://dx.doi.org/10.1007/978-3-642-17511-4_18 conf/lpar/2010d db/conf/lpar/lpar2010d.html#KupfermanV10