On the lattice of behaviors | IEEE Conference Publication | IEEE Xplore