Huber, et al.. Consistent Graphical Specification of Distributed Systems. Springer Berlin Heidelberg, 1997, doi:10.1007/3-540-63533-5_7.