MR4UM: A framework for adding fault tolerance to UML state diagrams

Jingshu Chen, Sandeep S. Kulkarni. MR4UM: A framework for adding fault tolerance to UML state diagrams. Theoretical Computer Science, 496:17-33, 2013. [doi]

Abstract

Abstract is missing.