Klimek, Radosław, and Piotr Szwed. 2013. “FORMAL ANALYSIS OF USE CASE DIAGRAMS”. Computer Science 11 (March):115. https://doi.org/10.7494/csci.2010.11.0.115.