Title: Handbook of Weighted Automata