A Survey and a Taxonomy of Automata-Theoretic Modeling Techniques. - Jaroslav Lajos; Mansur H. Samadzadeh (FCS, 2007)