Fine-grain abstraction and sequential do not cares for large scale model checking | IEEE Conference Publication | IEEE Xplore