Information flow analysis in a discrete-time process algebra | IEEE Conference Publication | IEEE Xplore