%0 Journal Article
%A O. I. Chunikhin
%T A~formal model of UML state machines
%J Sibirskij žurnal industrialʹnoj matematiki
%D 2004
%P 151-165
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SJIM_2004_7_1_a14/
%G ru
%F SJIM_2004_7_1_a14