A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users. - Kazuma Toyota; Tomoyuki Yokogawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (IIAI-AAI, 2022)