An Embedded Software Design Simulator for ADA Multitasking. - David Lefkovitz; Roger Y. Lee; Philip R. Nelson (ICPP, 1985)