Ramtin Khosravi Marjan Sirjani Nesa Asoudeh Shaghayegh Sahebi Hamed Iravanchi Modeling and Analysis of Reo Connectors Using Alloy. 169-183 2008 COORDINATION http://dx.doi.org/10.1007/978-3-540-68265-3_11 conf/coordination/2008 db/conf/coordination/coordination2008.html#KhosraviSASI08