Systémy reálneho času - Horovčák, Pavel (Elfa, 2002)