JANKA, R.S SPECIFICATION AND DESIGN METHODOLOGY FOR REAL-TIME EMBEDDED SYSTEMS - Boston Kluwer Academic 2002 - xxxi+221p.,24X16Cms. ISBN: 0792376269 Dewey Class. No.: 621.3819642 J34