Property-specific witness graph generation for guided simulation | IEEE Conference Publication | IEEE Xplore