I. Dragomir and S. Bensalem, “Rigorous Design of FDIR Systems with BIP”, eceasst, vol. 77, Oct. 2019.