https://123dok.net/document/yng7m250-using-timinig-validate-requirements-methods-schedulability-simulation-analysis.html