A Tool to Edit and Verify IoT System Architecture Model. - Shinpei Ogata; Hiroyuki Nakagawa; Yoshitaka Aoki; Kazuki Kobayashi; Yuko Fukushima (MoDELS (Satellite Events), 2017)