selected publications conference paper Towards a verification and validation test framework for open system architectures. . 2017