Groote, Jan Friso, Remco van der Hofstad, and Matthias Raffelsieper. “On the Random Structure of Behavioural Transition Systems”. Electronic Communications of the EASST 70 (November 18, 2014). Accessed November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/2172.