author of 2017 doctoral thesis at University of Auckland titled Model-Based Safety Assessment of Industrial Automation Systems using IEC 61499