Composing ActivityCharts/StateCharts, SDL and SAO specifications for codesign in avionics. - Mohamed Romdhani; P. Chambert; Alain Jeffroy; Pierre de Chazelles; Ahmed Amine Jerraya (EURO-DAC, 1995)

Modeling and rapid prototyping of avionics using STATEMATE. - Mohamed Romdhani; Alain Jeffroy; Pierre de Chazelles; Abd-El-Kader Sahraoui; Ahmed Amine Jerraya (RSP, 1995)