Caracciolo, Andrea Enrico Francis (2016) A unified approach to architecture conformance checking thesis, Universität Bern.