Jeff Magee Naranker Dulay Susan Eisenbach Jeff Kramer Specifying Distributed Software Architectures. 137-153 1995 conf/esec/1995 ESEC db/conf/esec/esec95.html#MageeDEK95