Model Checking of Visual Scripts Created by UE4 Blueprints. - Nao Igawa; Tomoyuki Yokogawa; Mami Takahashi; Kazutami Arimoto (IIAI-AAI, 2020)