Stavros Hadjitheophanous, Stelios N. Neophytou, Maria K. Michael: Scalable parallel fault simulation for shared-memory multiprocessor systems. VTS 2016: 1-6