A small program translates a Labelled Transition System from the Aldebaran format into DOT format