A SystemC-based platform for assertion-based verification and mutation analysis in systems biology | IEEE Conference Publication | IEEE Xplore