2011 3rd International Workshop on Dependable Control of Discrete Systems