Groote, J. F., van der Hofstad, R. and Raffelsieper, M. (2014) “On the Random Structure of Behavioural Transition Systems”, Electronic Communications of the EASST, 70. doi: 10.14279/tuj.eceasst.70.980.