Workshop on Benchmarking Cyber-Physical Systems and Internet of Things (CPS-IoTBench)