Pascal Poizat Jean-Claude Royer Gwen Salaün Bounded Analysis and Decomposition for Behavioural Descriptions of Components. 33-47 2006 conf/fmoods/2006 FMOODS http://dx.doi.org/10.1007/11768869_5 db/conf/fmoods/fmoods2006.html#PoizatRS06