Formal Specification of Topological Relations. - Erika Asnina; Janis Osis; Asnate Jansone (DB&IS, 2012)

Using Functional Characteristics to Analyze State Changes of Objects. - Uldis Donins; Janis Osis; Erika Asnina; Asnate Jansone (DB&Local Proceedings, 2012)

System Thinking for Formal Analysis of Domain Functioning in the Computation Independent Model. - Erika Asnina; Janis Osis; Asnate Jansone (ENASE, 2012)

Formal Analysis of Objects State Changes and Transitions. - Uldis Donins; Janis Osis; Erika Asnina; Asnate Jansone (ENASE, 2012)

Using Use Cases for Domain Modeling. - Janis Osis; Armands Slihte; Asnate Jansone (ENASE, 2012)