A support tool to design IoT services with NuSMV | IEEE Conference Publication | IEEE Xplore