Klimek, R. and Szwed, P. 2013. FORMAL ANALYSIS OF USE CASE DIAGRAMS. Computer Science. 11, (Mar. 2013), 115. DOI:https://doi.org/10.7494/csci.2010.11.0.115.