N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud, “The Synchronous Data Flow Programming Language Lustre,” Proceedings of the IEEE, Vol. 79, No. 9, 1991, pp. 1305-1320. http://dx.doi.org/ 10.1109/5.97300
 B. Seljimi and I. Parissis, “Automatic Generation of Test Data Generators for Synchronous Programs: Lutess v2,” DOSTA ’07: Workshop on Domain Specific Approaches to Software Test Automation, ACM, New York, 2007, pp. 8-12.
 J.-J. Wang, B. Zhang and Y. Chen, “Test Case Set Generation Method on MC/DC Based on Binary Tree,” 5th International Conference on Machine Vision (ICMV 2012): Computer Vision, Image Analysis and Processing, 13 March 2013.
 N. Halbwachs, “Lustre Program Verification: The Tool Lesar, Synchronous Programming of Reactive Systems,” The Springer International Series in Engineering and Computer Science, 1993, pp. 139-147.
 N. Halbwachs, D. Pilaud, F. Ouabdesselam and A.-C. Glory, “Specifying, Programming and Verifying RealTime Systems, Using a Synchronous Declarative Language,” Workshop on Automatic Verification Methods for Finite State Systems, LNCS 407, Grenoble, 12-14 June 1989.
 F. Ouabdesselam and I. Parissis, “Testing Techniques for Data-Flow Synchronous Programs,” Proceedings of the Second International Workshop on Automated and Algorithmic Debugging, Saint-Malo, 22-24 May 1995.
 N. Halbwachs, F. Lagnier and C. Ratel, “Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language Lustre,” IEEE Transactions on Software Engineering, Vol. 18, No. 9, 1992, pp. 785-793. http://dx.doi.org/10.1109/32.159839