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