A Semantic Model for Service Composition with Coordination Time Delays. - Natallia Kokash; Behnaz Changizi; Farhad Arbab (ICFEM, 2010)

Input-output Conformance Testing for Channel-based Service Connectors - Natallia Kokash; Farhad Arbab; Behnaz Changizi; Leonid Makhnist (PACO, 2011)

Service Orchestration with Priority Constraints. - Behnaz Changizi; Natallia Kokash; Farhad Arbab (FSEN, 2019)

Compositional workflow modeling with priority constraints. - Behnaz Changizi; Natallia Kokash; Farhad Arbab; Leonid Makhnist (Sci. Comput. Program., 2021)