L. Shahbaz, “C-essentialness and well-behavedness of C-injectivity in Act-S”, IJPAM, vol. 29, pp. 175–186, Dec. 2012.