Analyzing non-deterministic real-time systems with (max,+) algebra | IEEE Conference Publication | IEEE Xplore