Text this: Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE