Developing proof carrying code to formally assure termination in fault tolerant distributed controls systems | IEEE Conference Publication | IEEE Xplore