Title: Goal Oriented Methodology and Applications in Nuclear Power Plants