Kernel de tempo real assistido por hardware - Arzhanov, Bohdan (2013)
Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores