MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly | IEEE Conference Publication | IEEE Xplore