These examples are taken from Principles of Model Checking by Baier and Katoen.

Files names indicate whether the description is from an example (bk-ex) or a question (bk-qu), and the numbers indicate which one. e.g., "bk-ex1_2.txt" is example 1.2.
