Switch-level fault simulation for non-trivial faults based on abstract data types | IEEE Conference Publication | IEEE Xplore