Li Tan Model-Based Self-Adaptive Embedded Programs with Temporal Logic Specifications. 151-158 2006 conf/qsic/2006 QSIC http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.41 db/conf/qsic/qsic2006.html#Tan06