Hybrid abstractions : A search and rescue case study