Text this: Towards model checking product lines in the digital humanities: an application to historical data