Using Virtual Prototypes to Improve the Traceability of Critical Embedded Systems Flow