*************** After solving deadlocks ***************
The execution time of solveDeadlock (msec.):2283
No. of states: 88
 
*******************  The fault-tolerant program  *******************
No. of states: 88
 
----------  The actions of Process Controller ----------
 
( mcStatus == -1) && 
(  ( (  mInit == 1 )  )  ||  ( (  mInit == 1 )  )  ) 
 -> set_mInit_val0_mcStatus_val1
  
( mcStatus == 1) && 
(  ( (  mReset == 0 )  )  ) 
 -> set_mReset_val1_mcStatus_val_m1
  
( mcStatus == 1) && 
(  ( (  mAltBelow == 0 ) && (  mDOIStatus == 0 ) && (  mInhibit == 0 ) && (  mAltFail == 0 )  )  ) 
 -> set_mAltBelow_val1_mcStatus_val0
  
( mcStatus == 0) && 
(  ( (  mDOIStatus == 0 )  )  ||  ( (  mDOIStatus == 0 )  )  ) 
 -> set_mDOIStatus_val1_mcStatus_val1
  
( mcStatus == 0) && 
(  ( (  mReset == 0 )  )  ) 
 -> set_mReset_val1_mcStatus_val_m1
  
( mcStatus == 2) && 
(  ( (  mReset == 0 )  )  ||  ( (  mReset == 0 )  )  ) 
 -> set_mReset_val1_mcStatus_val_m1