Correct architecture re nement (1995)

by M Moriconi, X Qian, R Riemenschneider
Venue:IEEE Transactions on Software Engineering, Special Issue on Software Architecture