Text this: Model-based testing for concurrent systems with labelled event structures.