Formal models for embedded system design.