Albert Benveniste Michel Le Borgne Paul Le Guernic Hybrid Systems: The SIGNAL Approach. 230-254 1992 conf/hybrid/1992 Hybrid Systems db/conf/hybrid/hybrid92.html#BenvenisteBG92