Zdenek Sawa Petr Jancar Hardness of equivalence checking for composed finite-state systems. 169-191 2009 46 Acta Inf. 3 http://dx.doi.org/10.1007/s00236-008-0088-x db/journals/acta/acta46.html#SawaJ09