Development of a hardware-In-the-Loop (HIL) testbed for cyber-physical security in smart buildings