Live and Fair Constraint Automata and Their Linear Temporal Logic of Steps | IEEE Conference Publication | IEEE Xplore