Jeff Magee Jeff Kramer Morris Sloman Constructing Distributed Systems in Conic. 663-675 http://doi.ieeecomputersociety.org/10.1109/32.24720 1989 15 IEEE Trans. Software Eng. 6 db/journals/tse/tse15.html#MageeKS89