Borsi Zsolt: A translation of interaction relationships into SMV language.
Borsi Zsolt: Describing interaction relationships in SMV language.