Jean-Claude Fernandez Laurent Mounier Cyril Pachon A Model-Based Approach for Robustness Testing. 333-348 2005 conf/pts/2005 TestCom http://dx.doi.org/10.1007/11430230_23 db/conf/pts/testcom2005.html#FernandezMP05