Model-Based Falsification And Safety Evaluation Of Autonomous Systems