This section contains material for the Three Mile Island case study illustrated in the book.
Work in progress.
The NuSMV source of the example can be downloaded here. You need the NuSMV model checker to run this example. See the NuSMV pages for documentation, download and licensing information.
The FSAP source of the example (to be used together with the NuSMV source above) can be downloaded here. You need the FSAP safety analysis platform to run this example. See the FSAP pages for documentation, download and licensing information.