Klimek, R., and P. Szwed. “FORMAL ANALYSIS OF USE CASE DIAGRAMS”. Computer Science, vol. 11, Mar. 2013, p. 115, doi:10.7494/csci.2010.11.0.115.