Title: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems