Model checking support for conflict resolution in multiple non-functional concern management