Modeling TL task structures and interrupts in VHDL by M.V. Boersma