Modeling Embedded Systems by