Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems Topics: Hybrid Multi-Modeling Approaches; Model Execution and Simulation; Model Quality Assurance Techniques; Reasoning about Models; Systems Engineering In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 209-216, 2014 , Lisbon, Portugal