Decision methodology : a formalization of the O R process - White, D.J.