Pascal Pieper

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