681.32.02. 681.32.06. 681.326-181.4 vložené počítačové systémy. mikroprocesory. architektúra počítačov. počítačové systémy pracujúce v reálnom čase. programové systémyJanka, Randall S Specification and design methodology for real-time embedded systems. -- Boston : Kluwer Academic Publishers, 2002. -- 221 s. -- ISBN : 0-7923-7626-9.