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