Is it  available an electronical version of Real Time Systems books with Ada ?
     Alexander