An example of concurrent program design | IET Conference Publication | IEEE Xplore