Souheib Baarir, Cécile Braunstein, Emmanuelle Encrenaz, Jean-Michel Ilié, Isabelle Mounier, Denis Poitrenaud, Sana Younès. Feasibility analysis for robustness quantification by symbolic model checking. Formal Methods in System Design, 39(2):165-184, 2011. [doi]
Abstract is missing.