Modular decomposition of synchronous sequential machines