TY - SER AU - Ziegenbein, D TI - Spi- A System Model for Heterogenously Specified Embedded Systems KW - Hetergeneity ER -