Soft-commissioning: hardware-in-the-loop-based verification of controller software | IEEE Conference Publication | IEEE Xplore