Specification and Design of Embedded Systems - GAJSKI (Danicl.D VAHID (Frank) (PEARSON NEW DELHI)