Monte-Carlo falsification of temporal properties of non-linear hybrid systems.