Mohamed Romdhani, Alain Jeffroy, Pierre de Chazelles, Abd-El-Kader Sahraoui, Ahmed Amine Jerraya. Modeling and rapid prototyping of avionics using STATEMATE. In Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), Chapel Hill, North Carolina, June 7-9, 1995. pages 62-67, IEEE Computer Society, 1995. [doi]
Abstract is missing.