Mendoza Cervantes, Francisco A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems English[eng] Subjects--Topical Terms: Modeling and Simulation||System Level Design||Virtual Prototyping