Klimek, Radosław, and Piotr Szwed. “FORMAL ANALYSIS OF USE CASE DIAGRAMS”. Computer Science 11 (March 15, 2013): 115. Accessed April 24, 2024. https://journals.agh.edu.pl/csci/article/view/117.