Modeling and simulation of a hard real-time processor - Glavinić, Vlado (Array, 2000)