Remarks on the invalidation of biological models using monotone systems theory - Angeli, D; Sontag, ED (IEEE, 2012)