Automatic Verification of Behavior of UML Requirements Specifications using Model Checking. - Saeko Matsuura; Sae Ikeda; Kasumi Yokotae (MODELSWARD, 2020)