A Node-Style Visual Programming Environment for the nuXmv Model Checker | IEEE Conference Publication | IEEE Xplore