Using CHARTER tools to develop a safety-critical avionics application in Java. - Gosse Wedzinga; K. Wiegmink (JTRES, 2012)