1. ASPE. The importance of radiology and pathology communication in the diagnosis and staging of cancer: mammography as a case study, November 2010. Office of the Assistant Secretary for Planning and Evaluation, U.S. Department of Health and Human Services. http://aspe.hhs.gov/sp/reports/2010/PathRad/index.shtml
2. Baldoni, M., Baroglio, C., Chopra, A.K., Singh, M.P.: Composing and verifying commitment-based multiagent protocols. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI), pp. 10–17, Buenos Aires, July 2015
3. BPEL. Web services business process execution language, version 2.0, July 2007. http://docs.oasis-open.org/wsbpel/2.0/
4. Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic verification of finite-state concurrent systems using temporal logic specification. ACM Trans. Program. Lang. Syst. 8(2), 244–263 (1986)
5. Desai, N., Chopra, A.K., Singh, M.P.: Amoeba: a methodology for modeling and evolving cross-organizational business processes. ACM Trans. Softw. Eng. Methodol. (TOSEM) 19(2), 6:1–6:45 (2009)