@inproceedings {276, title = {Modeling and Analysis of Redundancy Management in Distributed Object-Oriented Systems by Using UML Statecharts}, booktitle = {Proc. of the 27th Euromicro Conference, Workshop on Software Process and Product Improvement}, year = {2001}, month = {2001}, pages = {200 - 207}, publisher = {IEEE Computer Society Press}, organization = {IEEE Computer Society Press}, address = {Los Alamitos}, author = {G{\'a}bor Huszerl and Istv{\'a}n Majzik} }