An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. - Robati Tiyam; Amine El Kouhen; Abdelouahed Gherbi; Sardaouna Hamadou; John Mullins (ACVI@MoDELS, 2014)

Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures. - Tiyam Robati; Amine El Kouhen; Abdelouahed Gherbi; John Mullins (P&D@MoDELS, 2015)

A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet. - Tiyam Robati; Abdelouahed Gherbi; John Mullins (ANT/SEIT, 2016)

Time-Triggered Ethernet Metamodel: Design and Application. - Tiyam Robati; Amine El Kouhen; Abdelouahed Gherbi; John Mullins (J. Softw., 2016)

Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach. - Tiyam Robati; Abdelouahed Gherbi; Amine El Kouhen; John Mullins (J. Ambient Intell. Humaniz. Comput., 2017)