S. Parkes and P. Armbruster, SpaceWire: a spacecraft onboard network for real-time communications, 14th IEEE-NPSS Real Time Conference, 2005., pp.6-10, 2005.
DOI : 10.1109/RTC.2005.1547397

H. Charara, J. Scharbarg, J. Ermont, and C. Fraboul, Methods for bounding end-to-end delays on an AFDX network, 18th Euromicro Conference on Real-Time Systems (ECRTS'06), pp.193-202, 2006.
DOI : 10.1109/ECRTS.2006.15

S. Martin and P. Minet, Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium, p.167, 2006.
DOI : 10.1109/IPDPS.2006.1639424

H. Bauer, J. Scharbarg, and C. Fraboul, Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach, IEEE Transactions on Industrial Informatics, vol.6, issue.4, pp.521-533, 2010.
DOI : 10.1109/TII.2010.2055877

M. Lauer, J. Ermont, C. Pagetti, and F. Boniol, Analyzing End-to-End Functional Delays on an IMA Platform, ISoLA, ser. LNCS, pp.243-257, 2010.
DOI : 10.1007/s100090050010

M. Adnan, J. Scharbarg, J. Ermont, and C. Fraboul, An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), 2012.
DOI : 10.1109/ETFA.2012.6489576

T. Ferrandiz, F. Frances, and C. Fraboul, A Sensitivity Analysis of Two Worst-Case Delay Computation Methods for SpaceWire Networks, 2012 24th Euromicro Conference on Real-Time Systems, 2012.
DOI : 10.1109/ECRTS.2012.35

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

K. G. Larsen, P. Pettersson, and W. Yi, Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997.
DOI : 10.1007/s100090050010