Klimek, R.; Szwed, P. FORMAL ANALYSIS OF USE CASE DIAGRAMS. csci 2013, 11, 115.