Badmus, T. A., Prescott, D., & Remenyte-Prescott, R. (2023). Improving the Modelling Capability of an Integrated Fault Detection and Diagnostic Petri Net Methodology for Dynamic Systems.