Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices | IEEE Conference Publication | IEEE Xplore