Ananda Basu Borzoo Bonakdarpour Marius Bozga Joseph Sifakis Brief Announcement: Incremental Component-Based Modeling, Verification, and Performance Evaluation of Distributed Reset. 174-175 2009 DISC http://dx.doi.org/10.1007/978-3-642-04355-0_19 conf/wdag/2009 db/conf/wdag/disc2009.html#BasuBBS09