Validity maintenance in semantic feature modeling door R. Bidarra