HAND BOOK OF REAL TIME AND EMBEDDED SYSTEMS - LEE,INSUP