1. D. Broman, M. Zimmer, Y. Kim, H. Kim, J. Cai, A. Shrivastava, S. A. Edwards, and E. A. Lee. Precision timed infrastructure: Design challenges. In Proceedings of the 2013 Electronic System Level Synthesis Conference (ESLsyn), May 2013.
2. EASA. EASA CM - SWCEH - 001 Development Assurance of Airborne Electronic Hardware, 03.2012.
3. S. A. Edwards, S. Kim, E. A. Lee, I. Liu, H. D. Patel, and M. Schoeberl. A disruptive computer design idea: Architectures with repeatable timing. In 2009 IEEE International Conference on Computer Design, pages 54–59, Oct 2009.
4. R. Heckmann and C. Ferdinand. Worst case execution time prediction by static program analysis. In 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings., April 2004.
5. S. Hiergeist and G. Seifert. Internal redundancy in future UAV FCCs and the challenge of synchronization. In Digital Avionics Systems Conference (DASC), 2017 IEEE/AIAA 36th. IEEE, 2017.