Using statecharts for hardware description (1985)

by D Drusinsky, D Harel
Venue:CS85-06, Department of Applied Mathematics, The Weizmann Institute of Science, Rehovot