Enabling hardware-in-the-loop for building automation networks: A case study for BACnet and PowerDEVS | IEEE Conference Publication | IEEE Xplore