1. Volume and entropy of regular timed languages: discretization approach;Asarin,2009
2. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
3. Quantitative analysis of leakage for multi-threaded programs;Chen,2007
4. Elements of Information Theory;Cover,2006
5. Execution information rate for some classes of automata;Cui;Inform. and Comput.,2016