Pošalji tekstualnu poruku: Automatic validation and optimisation of biological models