Compatibility of Software Components — Modelling and Verification (May 2007)