1. ISO/IEC/IEEE 29148 Systems and software engineering – Life cycle processes – Requirement engineering (2018)
2. Russ, M., Kim, H.: Chapter 7: Modeling Ordered Interactions: Sequence Diagrams. Learning UML 2.0, pp. 108–130 (2006)
3. UML Sequence Diagrams. https://www.uml-diagrams.org/sequence-diagrams.html. Accessed 20 Oct 2023
4. OMG Unified Modeling Language version 2.5. https://www.omg.org/spec/UML/2.5/PDF. Accessed 21 Nov 2023
5. Han, D., Xing, J., Yang, Q., Wang, H., Zhang, X.: Formal sequence: extending UML sequence diagram for behavior description and formal verification. In: 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), Atlanta, pp. 474–481. IEEE (2016)