A CTL Model Checker for Stochastic Automata Networks. - Lucas Oleksinski; Claiton Correa; Fernando Luís Dotti; Afonso Sales (QEST, 2013)