Simulation for multi-valued systems | IEEE Conference Publication | IEEE Xplore