Analysis and Control of Finite-Valued Systems. (2018)