A Node-Style Visual Programming Environment for the nuXmv Model Checker. - Hayato Naito; Tomoyuki Yokogawa; Nao Igawa; Sousuke Amasaki; Hirohisa Aman; Kazutami Arimoto (GCCE, 2020)