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