1. Allen, R., Garlan, D.: Beyond Definition/ Use: Architectural Interconnection. In: Proceedings, Workshop on Interface Definition Languages, Portland, Oregon (1994)
2. Alsumait, A., Seffah, A., Radhakrishnan, T.: Use Case Maps: A Visual Notation for Scenario-Based Requirements. In: 10th International Conference on Human - Computer Interaction (2003),
http://wwwswt.informatik.uni-rostock.de/deutsch/Veranstaltungen/HCI2003/
3. Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Sci. Comput. Program 20(1-2), 3–50 (1993)
4. Hoare, C.: Communicating Sequential Processes. Prentice-Hall International (1985)
5. Improving Access to Psychological Therapies. IAPT Key Performance Indicator (KPI). Technical Guidance for Adult IAPT Services (2013),
http://www.iapt.nhs.uk/silo/files/iapt-kpi-technical-guidance-201213-v20-.pdf