Analysis and Control of Finite-Valued Systems