A toolkit for automated support of Ada tasking analysis. - Sol M. Shatz; Khanh Mai; D. Moorthi; J. Woodward (ICDCS, 1989)