A feature-based classification of formal verification techniques for software models