https://1library.org/document/zp0m9roq-application-of-formal-methods-in-the-itasat-project.html