Framework for Embedded System Verification