Title: Formal and Practical Techniques for the Complex System Design Process Using Virtual Prototypes