1. Compositional refinement for hierarchical hybrid systems. In International Workshop on Hybrid Systems: Computation and Control;Alur,2001
2. Set-valued analysis;Aubin,2009
3. Contracts for system design;Benveniste;Foundations and Trends® in Electronic Design Automation,2018
4. Assume–guarantee verification of nonlinear hybrid systems with ariadne;Benvenuti;International Journal of Robust and Nonlinear Control,2014
5. Hybrid dynamical systems with hybrid inputs: Definition of solutions and applications to interconnections;Bernard;International Journal of Robust and Nonlinear Control,2020