Modeling in Cyber-Physical Systems by Lattice Computing Techniques: The Case of Image Watermarking Based on Intervals’ Numbers | IEEE Conference Publication | IEEE Xplore