https://123dok.org/document/dzxr42vz-formal-methods-development-life-cycle-real-time-software.html