Towards a Correct-by-Construction Design of Integrated Modular Avionics. - Baoluo Meng; Joyanta Debnath; Sarat Chandra Varanasi; Emmanuel Manoloios; Michael Durling; Saswata Paul; Daniel Prince; Saif Alsabbagh; Richard Haadsma; Craig McMillan; Chi Zhang; Tim Oates 001 (FMCAD, 2023)