Components for embedded software: the PECOS approach. - Thomas Genssler; Alexander Christoph; Michael Winter 007; Oscar Nierstrasz; Stéphane Ducasse; Roel Wuyts; Gabriela Arévalo; Bastiaan Schönhage; Peter O. Müller; Christian Stich (CASES, 2002)