Errata: a formal basis for architectural connection | ACM Transactions on Software Engineering and Methodology (TOSEM) | DeepDyve