@incollection{discovery872,
           pages = {63--91},
           title = {Validating distributed object and component designs},
          volume = {2804},
          series = {Lecture Notes in Computer Science},
          editor = {M Bernardo and P Inverardi},
           month = {January},
       publisher = {SPRINGER-VERLAG BERLIN},
            year = {2003},
          author = {Kaveh, N and Emmerich, W},
             url = {https://discovery.ucl.ac.uk/id/eprint/872/},
        keywords = {Science \& Technology, Technology, Computer Science, Software Engineering, Computer Science, Theory \& Methods, Computer Science},
            isbn = {3-540-20083-5}
}