Text this: Higher-dimensional automata modeling shared-variable systems