Roy Armoni Dmitry Korchemny Andreas Tiemeyer Moshe Y. Vardi Yael Zbar Deterministic Dynamic Monitors for Linear-Time Assertions. 163-177 2006 conf/fates/2006 FATES/RV http://dx.doi.org/10.1007/11940197_11 db/conf/fates/fates2006.html#ArmoniKTVZ06