This directory contains the files for the UML to RSL translator