embedded system design modeling synthesis and verification embeddedsystemdesignmodelingsynthesisandverification