Efficient BDD-based Fault Simulation in Presence of Unknown Values | IEEE Conference Publication | IEEE Xplore