Embedded software development with C - Qian, Kai (Springer, 2009)