https://123dok.net/document/zke2p1mz-contributions-to-real-time-systems.html