https://1library.org/document/qm3dj9wy-framework-specification-validation-real-time-systems-circus-action.html