Text this: Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes