J. F. Groote, R. van der Hofstad, and M. Raffelsieper, “On the Random Structure of Behavioural Transition Systems”, eceasst, vol. 70, Nov. 2014.