1. Can non-developers learn a simplified modeling notation quickly?;J. Softw. Evol. Process.,2022
2. Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems;Grobelna;Inform. Educ.,2020
3. Analysis of notations for modeling user interaction scenarios in ubiquitous collaborative systems;Ochoa;J. Ambient. Intell. Humaniz. Comput.,2022
4. van der Poll, J.A., Kotzé, P., Ahmed, S., Thiruvengadam, P., and Asmaa, A. (2003, January 17–19). Combining UCMs and Formal Methods for Representing and Checking the Validity of Scenarios as User Requirements. Proceedings of the SAICSIT’03: Proceedings of the 2003 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology, Johannesburg, South Africa.
5. Qaisar, A.M., Dragos, T., and Johan, L. (2010, January 22–26). Using UML Models and Formal Verification in Model-Based Testing. Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Oxford, UK.