Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems | IEEE Conference Publication | IEEE Xplore