M. Althoff, An introduction to cora 2015, Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems, 2015.

K. Bae, J. Krisiloff, J. Meseguer, and P. C. Ölveczky, Designing and verifying distributed cyber-physical systems using multirate pals: An airplane turning control system case study, Science of Computer Programming, vol.103, pp.13-50, 2015.

S. Bak, T. T. Johnson, M. Caccamo, and L. Sha, Real-time reachability for verified simplex design, Real-Time Systems Symposium (RTSS), pp.138-148, 2014.

X. Chen, E. Ábrahám, and S. Sankaranarayanan, Flow*: An analyzer for non-linear hybrid systems, International Conference on Computer Aided Verification, pp.258-263, 2013.

X. Chen and S. Sankaranarayanan, Model predictive real-time monitoring of linear systems, Real-Time Systems Symposium (RTSS, pp.297-306, 2017.

T. Dang and O. Maler, Reachability analysis via face lifting, Hybrid Systems: Computation and Control (HSCC '98), p.1386, 1998.

L. De-moura and N. Bjørner, Z3: An efficient smt solver, International conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

P. S. Duggirala, T. T. Johnson, A. Zimmerman, and S. Mitra, Static and dynamic analysis of timed distributed traces, Real-Time Systems Symposium (RTSS), 2012 IEEE 33rd, pp.173-182, 2012.

J. C. Eidson, E. A. Lee, S. Matic, S. A. Seshia, and J. Zou, Distributed real-time software for cyber-physical systems, Proceedings of the IEEE, vol.100, issue.1, pp.45-59, 2012.

G. Frehse, C. Le-guernic, A. Donzé, S. Cotton, R. Ray et al., Spaceex: Scalable verification of hybrid systems, Computer Aided Verification, pp.379-395, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00769608

A. Girard, C. Le-guernic, and O. Maler, Efficient computation of reachable sets of linear time-invariant systems with inputs, Hybrid Systems: Computation and Control, pp.257-271, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00171555

T. A. Henzinger, The theory of hybrid automata, IEEE Symposium on Logic in Computer Science (LICS, p.278, 1996.

T. A. Henzinger, P. H. Ho, and H. Wong-toi, Hytech: A model checker for hybrid systems, Computer aided verification, pp.460-463, 1997.

T. T. Johnson and S. Mitra, Parametrized verification of distributed cyber-physical systems: An aircraft landing protocol case study, 2012 IEEE/ACM Third International Conference on, pp.161-170, 2012.

S. Kong, S. Gao, W. Chen, and E. Clarke, dreach: ?-reachability analysis for hybrid systems pp, pp.200-205, 2015.

P. Kumar, D. Goswami, S. Chakraborty, A. Annaswamy, K. Lampka et al., A hybrid approach to cyber-physical systems verification, Proceedings of the 49th Annual Design Automation Conference, pp.688-696, 2012.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

L. Guernic, C. Girard, and A. , Reachability analysis of hybrid systems using support functions, Computer Aided Verification, pp.540-554, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00769527

Y. Lin and S. Mitra, Starl: Towards a unified framework for programming, simulating and verifying distributed robotic systems, 2015.

S. B. Liu, H. Roehm, C. Heinzemann, I. Lütkebohle, J. Oehlerking et al., Provably safe motion of mobile robots in human environments, Intelligent Robots and Systems (IROS), 2017 IEEE/RSJ International Conference on, pp.1351-1357, 2017.

S. M. Loos, A. Platzer, and L. Nistor, Adaptive cruise control: Hybrid, distributed, and now formally verified, International Symposium on Formal Methods, pp.42-56, 2011.

N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg, Hybrid i/o automata, 1996.

Q. Tang, S. K. Gupta, and G. Varsamopoulos, A unified methodology for scheduling in distributed cyber-physical systems, ACM Transactions on Embedded Computing Systems (TECS), vol.11, issue.S2, p.57, 2012.

Y. Zhang, C. Gill, and C. Lu, Reconfigurable real-time middleware for distributed cyber-physical systems with aperiodic events, Distributed Computing Systems, 2008. ICDCS'08. The 28th International Conference on, pp.581-588, 2008.