Algebraic properties of system composition in the LORAL, Ulysses and McLean trace models | IEEE Conference Publication | IEEE Xplore