Modeling of Advanced Tasking in Ada-95: A Petri Net Perspective. - Ravi K. Gedela; Sol M. Shatz (PDSE, 1997)

Formal modeling of synchronization methods for concurrent objects in Ada 95. - Ravi K. Gedela; Sol M. Shatz; Haiping Xu (SIGAda, 1999)

Compositional Petri net models of advanced tasking in Ada-95. - Ravi K. Gedela; Sol M. Shatz; Haiping Xu (Comput. Lang., 1999)