A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded SystemsFrancisco Mendoza Cervantes₹5,407