Integrating existing proprietary system models into a model-driven test process for an industrial automation scenario | IEEE Conference Publication | IEEE Xplore