Ferruccio Damiani Elena Giachino Paola Giannini Emanuele Cazzola On state classes and their dynamic semantics. 5-12 2006 conf/icsoft/2006 ICSOFT (1) db/conf/icsoft/icsoft2006-1.html#DamianiGGC06