Run-time monitoring in real-time operating systems - Valpereiro, Filipe (2005)