this project is the small example in the FT Sup cont journal paper,
with the FT CPS sup. 

Project: SmallFtSingleLoopFtCPS 

- contains the small project only with the fault tolerant CPS sups

  This is the untimed example from Aos' thesis, with no permanent faults, just 
  intermittent ones.  

  It fails cont and nb check, thus fails ft cont and nb as no excluded events

  It passes N = 0 and N = 1, but fails N = 2    (cont and nb)

  It passes one-repeat N = 4, and resettable  (cont and nonb)
