An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis | IEEE Conference Publication | IEEE Xplore