Email Record: Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? /