selected publications conference paper Checking Conformance with Reference Architectures: A Case Study 2013