Online Verification of Transactive Control for Commercial Buildings | IEEE Conference Publication | IEEE Xplore