Text this: A generic framework for representing and analyzing model concurrency.