Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development. - Ji Eun Kim; Rahul Kapoor; Martin Herrmann; Jochen Härdtlein; Franz Grzeschniok; Peter Lutz (ISORC, 2008)