VHDL-based modeling of a hard real-time task processor | IEEE Conference Publication | IEEE Xplore