Process-algebra based regulation of sensor controlled operations | IEEE Conference Publication | IEEE Xplore