Klimek R, Szwed P. FORMAL ANALYSIS OF USE CASE DIAGRAMS. csci. 2013;11:115. doi:10.7494/csci.2010.11.0.115