Formal plausibility checks for environment constraints | IEEE Conference Publication | IEEE Xplore