1. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems;Abate;Automatica,2008
2. A linear systems primer, Vol. 1;Antsaklis,2007
3. Networks of dissipative systems;Arcak,2016
4. Principles of model checking;Baier,2008
5. Formal methods for discrete-time dynamical systems;Belta,2017