2010

1. Towards a testing methodology for reactive systems: a case study of a landing gear controller

   Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France (Piscataway: IEEE Copyrights Manager, 2010), pp. 489-497