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