Gábor Huszerl István Majzik András Pataricza Konstantinos Kosmidis Mario Dal Cin Quantitative Analysis of UML Statechart Models of Dependable Systems. 260-277 2002 45 Comput. J. 3 http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_03/450260.sgm.abs.html db/journals/cj/cj45.html#HuszerlMPKC02