1. Timed C: An extension to the C programming language for real-time systems;Natarajan,2018
2. NetChannels;Austad,2022
3. KTC fork with pre-built NetChannel extension included;Austad,2022
4. Distributed Real-Time Systems, Theory and Practice;Erciyes,2019
5. Real-Time Systems - Design Principles for Distributed Embedded Applications;Kopetz,2011