https://5dok.org/document/yr3dlrop-testability-of-dynamic-real-time-systems.html