Approximation and Refinement Techniques for Hard Model-checking Problems. - Mihaela Bobaru (2009)