Towards Software Model Checking in the Context of Model-Driven Engineering (epilog Probevortrag)