Ali Al-Shabibi Didier Buchs Mathieu Buffo Stanislav Chachkov Ang Chen David Hurzeler Prototyping Object Oriented Specifications. 473-482 2003 conf/apn/2003 ICATPN http://dx.doi.org/10.1007/3-540-44919-1_30 db/conf/apn/icatpn2003.html#Al-ShabibiBBCCH03