00386nam a2200133Ia 4500008004100000020001500041041001200056082002200068100002100090245007200111260005000183300001100233650000800244231217s9999    xx            000 0 und d  a081863152X  aEnglish  a007.117  KAV;1  R  aKavi, Krishna M. 0aReal time systems : abstractions languages and design methodologies  c1992bIEEE Computer Society PressaCalifornia  axi+660  aabc