@misc{Hnatkowska_Bogumiła_Transformation,
 author={Hnatkowska, Bogumiła and Huzar, Zbigniew},
 howpublished={online},
 publisher={Zielona Góra: Uniwersytet Zielonogórski},
 language={eng},
 abstract={The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.},
 type={artykuł},
 title={Transformation of dynamic aspects of UML models into LOTOS behaviour expressions},
 keywords={statecharts, UML, LOTOS},
}