Loading Ebook: A Problem-Oriented Approach For Dynamic Verification Of Heterogeneous Embedded Systems