1. W. B. Ackerman, “Data Flow Languages”, Computer, Vol. 15, No. 2, pp 15–25, February 1982.
2. R. Alur, C. Courcoubetis, T. A. Henzinger, P.-H. Ho, “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems,” LNCS 736, Springer-Verlag, Berlin, 1993.
3. A. Benveniste and G. Berry, “The Synchronous Approach to Reactive and Real-Time Systems,” Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1270–1282.
4. A. Benveniste and P. Le Guernic, “Hybrid Dynamical Systems Theory and the SIGNAL Language,” IEEE Tr. on Automatic Control, Vol. 35, No. 5, pp. 525–546, May 1990.
5. J. Bier, P. Lapsley, E. A. Lee, and F. Weller, “DSP Design Tools and Methodologies,” Technical Report, Berkeley Design Technology, 39355 California St., Suite 206, Fremont, CA 94538, 1995.