From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation