ABC(SMC) 2: simultaneous inference and model checking of chemical reaction networks - Molyneux, GW; Abate, A (Computational Methods in Systems Biology, 2020)