Analysis of deterministic discrete event systems via minimax algebra | IEEE Conference Publication | IEEE Xplore