EMBEDDED SYSTEM DESIGN - SECOND EDITION