Topology of higher-dimensional automata