Modeling BLE Propagation Above the Ceiling for Smart HVAC Systems | IEEE Conference Publication | IEEE Xplore