@misc{15058, author = {Shaukat Ali and Tao Yue and Rui Abreu}, title = {First International Workshop on Verification and Validation of Internet of Things}, year = {2018}, publisher = {IEEE}, }