Groote, J. F.; van der Hofstad, R.; Raffelsieper, M. On the Random Structure of Behavioural Transition Systems. eceasst 2014, 70.