Model, Notation, and Tools for Verification of Protocol-Based Components Assembly. - Pascal Rapicault; Jean-Paul Rigault; Luc Bourlier (Component Deployment, 2002)