Using CSP to model the synchronization process of variable length codes - Fong, A; Simpson, A (IEEE Proc. Communications, 2015)