Enviar por SMS: A Problem-Oriented Approach for Dynamic Verification of Heterogeneous Embedded Systems