This section contains material for the Elevator case study illustrated in the book.
Work in progress.
The RAT source of the example can be downloaded here. You need the RAT requirements analysis tool to run this example. See http://rat.fbk.eu for documentation, download and licensing information.