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