Badmus, Taofeeq Alabi, Prescott, Darren, Remenyte-Prescott, Rasa, "Improving the Modelling Capability of an Integrated Fault Detection and Diagnostic Petri Net Methodology for Dynamic Systems", , 2023