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