Using Incremental Consistency Management for Conformance Checking in Feature-Oriented Model-Driven Engineering