NuSeen: A Tool Framework for the NuSMV Model Checker | IEEE Conference Publication | IEEE Xplore