Dragomir, I., & Bensalem, S. (2019). Rigorous Design of FDIR Systems with BIP. Electronic Communications of the EASST, 77. https://doi.org/10.14279/tuj.eceasst.77.1107