keywords B CSP Computer Science Computer Science, Information Systems Computer Science, Software Engineering Computer Science, Theory & Methods Epsilon LANGUAGE Model transformation PARALLEL-TO-B Science & Technology TRANSFORMATION Technology UML