Zaslat SMS: On validation and invalidation of biological models