David Lugato Frédéric Maraux Yves Le Traon Véronique Normand Hubert Dubois Jean-Yves Pierron Jean-Pierre Gallois Clémentine Nebut Automated Functional Test Case Synthesis from THALES industrial Requirements. 104-111 2004 conf/rtas/2004 IEEE Real-Time and Embedded Technology and Applications Symposium http://doi.ieeecomputersociety.org/10.1109/RTTAS.2004.1317254 db/conf/rtas/rtas2004.html#LugatoMTNDPGN04