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)