A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. - Daniele Coati; Rosario Distefano; Nicola Bombieri; Franco Fummi; Michela Mirenda; Carlo Laudanna; Rosalba Giugno (LATS, 2016)