Workshop on Benchmarking Cyber-Physical Networks and Systems, Bench@CPSWeek 2018, Porto, Portugal, April 10, 2018. IEEE 2018, ISBN 978-1-5386-6742-2