2018 IEEE Workshop on Benchmarking Cyber-Physical Networks and Systems (CPSBench)