M. Gruninger and C. Menzel, “The Process Specification Language (PSL) Theory and Applications”, AIMag, vol. 24, no. 3, p. 63, Sep. 2003.