TDES examples witgh forcing and fault tolerant - from the TDES FT j paper

1) TimedEgwForcing/

This is with the original supervisors that have not been modified to be more FT.

  Project fails a nonblock test, thus fails FT nonb. 
  Fails tdes cont check so fails TDES ft-cont.


  Passes N = 0, and fails N = 1 (TDES cont and NB)

  Fails nonrepeat n = 4, and resettable (TDES cont and NB)


2) TimedFTwForcing/

This is the FT version of the supervisors


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

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

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