André Postma: A method for module architecture verification and its application on a large component-based system. Inf. Softw. Technol. 45(4): 171-194 (2003)