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