Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. - Heng Kuang; Olga Ormandjieva; Stan Klasa; Noorulain Khurshid; Jamal Bentahar (SERA (selected papers), 2009)

Towards a Tool Support for Specifying Complex Software Systems by Categorical Modeling Language. - Noorulain Khurshid; Olga Ormandjieva; Stan Klasa (SERA (selected papers), 2010)