Extension Du Langage Lustre Et Application à La Conception De Circuits by Frederic Rocheteau