Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis | IEEE Journals & Magazine | IEEE Xplore