Examples of Simple Critical Systems

• Example of a tiny critical system is located in
  sparkAdaCodeLecture/sect6/example6-21-exampleOfSmallCriticalSystem/
  Look at README.txt file for details.
• Railway example presented in (h) of Sect 2 is located in
  sparkAdaCodeLecture/sect7/vers11final/