A lightweight integration of mutation analysis with the model checker for system safety verification. - J. Jayanthi; Manju Nanda; Sameer Nayak (SysCon, 2013)