Timing Assurance of Avionic Reconfiguration Schemes Using Formal Analysis. - Antonio Augusto da Fontoura; Francisco Assis Moreira do Nascimento; Simin Nadjm-Tehrani; Edison Pignaton de Freitas (IEEE Trans. Aerosp. Electron. Syst., 2020)