Sardaouna Hamadou, John Mullins, Abdelouahed Gherbi. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet. In Thouraya Bouabana-Tebibel, Stuart H. Rubin, editors, Theoretical Information Reuse and Integration. Volume 446 of Advances in Intelligent Systems and Computing, pages 85-111, Springer, 2016. [doi]
Abstract is missing.