1. SymTA/S.
https://auto.luxoft.com/uth/timing-analysis-tools/
2. TA Simulator.
https://www.timing-architects.com/
3. UPPAAL.
http://www.uppaal.org/
4. Blom, H., et al.: Timing model - tools, algorithms, languages, methodology, use cases. Technical report (2012)
5. Buttazzo, G.C.: Hard Real-Time Computing Systems. Springer, Boston (2011).
https://doi.org/10.1007/978-1-4614-0676-1