ARTK-M2: a Kernel for Ada Tasking Requirements: an Implementation and an Automatic Generator. - Jorge L. Díaz-Herrera; Ronald D. Graft; Douglas B. Rupp (Softw. Pract. Exp., 1992)