Tight bounds on the complexity of cascaded decomposition of automata | IEEE Conference Publication | IEEE Xplore