Automatic transformation of logic models within engineering of embedded mechatronical units | Publicación