Using linear temporal model checking for goal-oriented policy refinement frameworks | IEEE Conference Publication | IEEE Xplore