Witness and Counter-Example on 3-Valued Model Checking | IEEE Conference Publication | IEEE Xplore