Thibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün. Designing operational control architectures of critical systems by reachability analysis. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 12-18, IEEE, 2011. [doi]
Abstract is missing.