Modelling Latency-Insensitive Systems in CSP | IEEE Conference Publication | IEEE Xplore