Mark Bickford Component Specification Using Event Classes. 140-155 2009 CBSE http://dx.doi.org/10.1007/978-3-642-02414-6_9 conf/cbse/2009 db/conf/cbse/cbse2009.html#Bickford09