PrIoT Demo: Example of Invariant Functionalities | IEEE Conference Publication | IEEE Xplore