On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing.

David Navarre Philippe A. Palanque Eric Barboni Tomasz Mistrzyk On the Benefit of Synergistic Model-Based Approach for Safety Critical Interactive System Testing. 140-154 2007 conf/tamodia/2007 TAMODIA http://dx.doi.org/10.1007/978-3-540-77222-4_12 db/conf/tamodia/tamodia2007.html#NavarrePBM07