Dragomir, Iulia, and Saddek Bensalem. 2019. “Rigorous Design of FDIR Systems With BIP”. Electronic Communications of the EASST 77 (October). https://doi.org/10.14279/tuj.eceasst.77.1107.