B. Kumar Timothy A. Gonsalves Modelling and Analysis of Distributed Software Systems. 2-8 1979 SOSP db/conf/sosp/sosp79.html#KumarG79