Multidimensional visualization of transition systems | IEEE Conference Publication | IEEE Xplore