CS 9622 - Fall 2017 : Design, Implementation, and Verification of a Reactor Protection System Using HFC6000 (UWO Thesis)