Cabaret: A Suite Of Characterized Discrete Models For Benchmarking Systems Biology Tools