Liliana D'Errico Michele Loreti Assume-Guarantee Verification of Concurrent Systems. 288-305 2009 COORDINATION http://dx.doi.org/10.1007/978-3-642-02053-7_15 conf/coordination/2009 db/conf/coordination/coordination2009.html#DErricoL09