Virtual Prototype Based Analysis Framework in Model-Driven Development: A Use Case Study