Improved modeling and validation of command sequences using a checkable sequence language | IEEE Conference Publication | IEEE Xplore