On the random structure of behavioural transition systems. Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper.