Performability Modeling of Manual Resolution of Data Inconsistencies for Optimization of Data Synchronization Interval Topics: Model Execution and Simulation; Model-Driven Systems Engineering In Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development MODELSWARD - Volume 1, 233-240, 2013 , Barcelona, Spain