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