UML activity diagram to temporal logic expression generator.