A Method for Goal Model Repair Based on Process Mining | IEEE Conference Publication | IEEE Xplore