The following examples are illustrated in the book:

  • Three Mile Island The example demonstrates how NuSMV can be used to model the main phases of the Three Mile Island accident and shows how the FSAP platform can be used to perform a safety analysis of the system.
  • Elevator The example demonstrates the RAT tool for requirements management together with various safety analyses.

The source code of the examples is distributed under the conditions of the MIT License. Basically, you are free of doing whatever you want with the examples. The code comes with no warranties whatsoever.

The following reference can be used to acknowledge the source of the examples:

	Author = {Marco Bozzano and Adolfo Villafiorita},
	Publisher = {CRC Press (Taylor and Francis), an Auerbach Book},
	Title = {Design and Safety Assessment of Critical Systems},
	Year = {2010},