Requirements Modeling and Design Verification of Embedded Systems