León, et al.. Model-based Testing for Concurrent Systems with Labelled Event Structures. Wiley, Aug. 2014, doi:10.1002/stvr.1543.