Li Tan Model-based self-monitoring embedded programs with temporal logic specifications. 380-383 2005 conf/kbse/2005 ASE http://doi.acm.org/10.1145/1101908.1101975 db/conf/kbse/ase2005.html#Tan05