1. Object Management Group. Business process model and notation (BPMN) 2.0. Standards Document formal/2011-01-03, Object Management Group, Needham MA, USA, January 2011.
2. Lapadula Alessandro, Pugliese Rosario, Tiezzi Francesco. A calculus for orchestration of web services. In: Rocco Nicola, editor. Programming languages and systems. Lecture notes in computer science, vol. 4421. Berlin, Heidelberg: Springer-Verlag; 2007; p. 33–47.
3. Communicating sequential processes;Hoare,1985
4. Kwiatkowska Marta, Norman Gethin, Parker David. PRISM 4.0: verification of probabilistic real-time systems. In: Ganesh Gopalakrishnan, Shaz Qadeer, editors. Proceedings of the 23rd international conference on computer aided verification (CAV׳11). Lecture notes in computer science, vol. 6806. London, UK: Springer-Verlag; 2011; p. 585–91.
5. Process charts—first steps in finding the one best way;Gilbreth,1921