Text this: Efficient static analysis and verification of featured transition systems.