Consistency checking for multiple view software architectures
P. Fradet, Daniel Le Métayer, and Michaël Périn. Proc. European Software Engineering Conf. and Foundations of Software Engineering (ESEC/FSE), volume 1687 of Lecture Notes in Computer Science, page 410--428. Springer-Verlag, (1999)