Shing-Chi Cheung Jeff Kramer Contextual Local Analysis in the Design of Distributed Systems. 5-32 1995 2 Autom. Softw. Eng. 1 db/journals/ase/ase2.html#CheungK95