Embedded Systems Design Based on Formal Models of