Toward verified biological models. - Sadot, Avital