Strictifying and taming directed paths in Higher Dimensional Automata - Martin Raussen (2020)