Embedded Systems: The SysWeaver Approach -- Verification and Integration of Real-Time