Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard. Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL. Electronic Notes in Theoretical Computer Science, 88:87-103, 2004. [doi]
Abstract is missing.