Guy Durrieu Hélène Waeselynck Virginie Wiels LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. 7-22 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_5 conf/fmics/2008 db/conf/fmics/fmics2008.html#DurrieuWW08