1. Principles of Model-Checking;Baier,2008
2. Poznámka k homogénnym experimentom s konečnými automatmi;Černý;Mat.-Fyz. Čas.,1964
3. Synchronizing words for weighted and timed automata;Doyen,2014
4. Infinite synchronizing words for probabilistic automata;Doyen,2011