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