1. A theory of timed automata;Alur;Theoretical Computer Science,1994
2. Reo: A channel-based coordination model for component composition;Arbab;Mathematical Structures in Computer Science,2004
3. Models and temporal logical specifications for timed component connectors;Arbab;Software and Systems Modeling,2007
4. Modeling, testing and executing Reo connectors with the Eclipse Coordination Tools;Arbab;Tool demo session at FACSʼ08,2008
5. Towards using reo for compliance-aware business process modelling;Arbab,2008