Release v1.0.12 (24/June/2022)

• Fixed a few typos
• Added new models in prism/ folder (aging), with properties file

Release v1.0.11 (29/May/2022)

New release, some changes in the book, fixed a problem in CTMC to DTMC conversion.

Release v1.0.10 (10/April/2022)

Release with the latest book (font Libertinus), plus code + scripts + models.
Changes with respect to v1.0.9:

• minor typos in Chapter 3 (bad formatting on \texttt) and new paragraph before Challenge 04;
• minor fix in one word in Chapter 4 (mechanism --> mechanisms)

Release v1.0.9 (02/April/2022)

Release with the latest book (font Libertinus), plus code + scripts + models.