https://dupyfutimynysy.larep-immo.com/formal-techniques-in-real-time-and-fault-tolerant-systems-book-9241cj.php