Automated Derivation of Use Case Model from Topological Functioning Model. - Timofejs Murenecs; Erika Asnina (Sci. J. Riga Tech. Univ. Ser. Comput. Sci., 2011)