A case study of specification and verification using JML in an avionics application. - Peter H. Schmitt; Isabel Tonin; Claus Wonnemann; Eric Jenn; Stéphane Leriche; James J. Hunt (JTRES, 2006)

Use of PERC Pico in the AIDA avionics platform. - Tobias Schoofs; Eric Jenn; Stéphane Leriche; Kelvin Nilsen; Ludovic Gauthier; Marc Richard-Foy (JTRES, 2009)