1. School of Automation, Wuhan University of Technology, Wuhan, China
2. I3S Laboratory, University of Nice Sophia-Antipolis, Sophia Antipolis, France
3. Laboratory of Systems Modelling and Dependability, Charles Charles Institute, University of Technology of Troyes, Troyes, France