A top-down interactive behavioral synthesis environment. - Ioannis Poulakis; Petros Economakos; George Economakos; Ioannis Panagopoulos; George K. Papakonstantinou (ICECS, 2000)