Leram - Discrete Event Systems in Dioid Algebra and Conventional Algebra (Focus Series in Automation & Control) (English Edition)