https://123dok.net/document/eqomr2kz-testing-real-time-systems-with-runtime-enforcement.html