In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Revised Selected Papers, Seattle, WA, USA, August 15-16, 2006, pp. 178–192 (2006) Google Scholar Fainekos, G.E., Pappas, G.J.: Robustness of temporal ...