I’m advocate of pragmatic model verification (in my case, focusing mostly on static model verification approaches, specially using a constraint programming bounded verification approach) and therefore I strongly recommend taking a look at this SAM’14 keynote talk by Lionel Briand on Making model-driven verification practical and scalable: Experiences and Lessons Learnt.
In this talk he shows he managed to use models to effectively verify the quality of different kinds of systems motivated by “decades of research that have not yet significantly and widely impacted practice”
Btw, if you enjoyed this talk, you may want to read his (unrelated but also interesting) short paper on Embracing the Engineering Side of Software Engineering
ICREA Research Professor at Internet Interdisciplinary Institute (UOC). Leader of the SOM Research Lab focusing on the broad area of systems and software engineering