2012 XIII International Symposium on Problems of Redundancy in Information and Control Systems