https://123dok.net/document/zwv916vq-incremental-validation-of-real-time-systems.html