@第{zbMATH06244107条，作者={Chen，Jingshu and Kulkarni，Sandeep}，Title={{MR4UM}：为{UML}状态图}添加容错的框架，FJournal＝{理论计算机科学}，期刊={Theor.Comput.Sci.}，ISSN={0304-3975}，体积={496}，页码={17--33}，年份={2013}，语言={英语}，DOI={10.1016/j.tcs.2012.10.005}，关键词={68M15,68Q60,93C40,93C95}，zbMATH＝{6244107}，Zbl={1294.68043}}