Johannes Helbig Peter Kelb An OBDD-Representation of Statecharts. 142-149 1994 conf/eurodac/1994edac EDAC-ETC-EUROASIC db/conf/eurodac/eurodac1994.html#HelbigK94