The steam boiler in a unified theory of Z and CSP | IEEE Conference Publication | IEEE Xplore