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