All Linear-Time Congruences for Finite LTSs and Familiar Operators | IEEE Conference Publication | IEEE Xplore