Formal Analysis and Verification of Safety InterlockSystems by Seotsanyana Motlatsi