A Visual Modeling Environment for the nuXmv Model Checker Intended for Novice Users | IEEE Conference Publication | IEEE Xplore