EVM: Incorporating Model Checking into Exploratory Visual Analysis | IEEE Journals & Magazine | IEEE Xplore