Klimek R, Szwed P. FORMAL ANALYSIS OF USE CASE DIAGRAMS. csci [Internet]. 2013 Mar. 15 [cited 2025 Dec. 10];11:115. Available from: https://journals.agh.edu.pl/csci/article/view/117