Embedded software and systems : (Springer, 2005)