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

Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis. - Sol M. Shatz; Khanh Mai; Christopher Black; Shengru Tu (IEEE Trans. Parallel Distributed Syst., 1990)