Embedded Systems Development – From Functional Models to Implementations