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