Jérôme Ermont, Christian Fraboul. Modeling a spacewire architecture using timed automata to compute worst-case end-to-end delays. In Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. pages 1-4, IEEE, 2013. [doi]
Abstract is missing.