Efficient Anytime Techniques for Model-Based Safety Analysis