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