Utilizing Reusable Test-Ready Models of Smart Home Systems for Testing KNX Devices | IEEE Conference Publication | IEEE Xplore