1. Sioutis, C., Dominish, D.: Developing intelligent agents with distributed computing middleware. In: Watada, J., Phillips-Wren, G., Jain, L.C., Howlett, R.J. (eds.) Intelligent Decision Technologies, pp. 863–872. Springer, Berlin Heidelberg, Berlin, Heidelberg (2011)
2. Mousavi, A.: Inference of emergent behaviours of scenario-based specifications. Ph.D. thesis, University of Calgary (2009)
3. Moshirpour, M.: Model-based analysis of software requirements for distributed software systems. Ph.D. thesis, University of Calgary (2016)
4. Song, I.G., Jeon, S.U., Han, A.R., Bae, D.H.: An approach to identifying causes of implied scenarios using unenforceable orders. Inf Softw Technol 53(6), 666–681 (2011)
5. Alur, R., Grosu, R.: Shared variables interaction diagrams. In: Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp. 281–288. IEEE (2001)