A Formal Semantics for Use Case Diagram Via Event-B. - Thiago C. de Sousa; Luciano Kelvin; Constantino D. Neto; Carlos Giovanni Nunes de Carvalho (J. Softw., 2017)