Knowledge Based Specification and Modeling of Embedded Systems. - Mathias Sporer; Karlheinz Agsteiner; Dieter Monjau; Michael Schwaar (EUROMICRO, 1999)