From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation | IEEE Conference Publication | IEEE Xplore