Text this: Is model-based development a favorable approach for complex and safety-critical computer systems on commercial aircraft? / Wilfredo Torres-Pomales.