Dragomir, I.; Bensalem, S. Rigorous Design of FDIR Systems With BIP. ECEASST 2019, 77.