Embedded Software by T.A. Henzinger & C.M. Kirsch