, What is stepper motor resonance?, 2013.

, Systems modeling language, 2018.

, Whip: safe composition of micro-services. ttp://whip.services, 2018.

. Arduino-reference--stepper and . Online,

A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber et al., Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00722395

G. Baudart, A synchronous approach to quasi-periodic systems, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01507595

. Bbc, Police ground drones after reports they fall out of the sky, 2018.

A. Benveniste, B. Caillaud, D. Nickovic, R. Passerone, J. Raclet et al., Contracts for system design, Foundations and Trends® in Electronic Design Automation, vol.12, issue.2-3, pp.124-400, 2018.
URL : https://hal.archives-ouvertes.fr/hal-00757488

A. Benveniste, P. Caspi, P. L. Guernic, H. Marchand, J. Talpin et al., A protocol for loosely time-triggered architectures, International Workshop on Embedded Software, pp.252-265
URL : https://hal.archives-ouvertes.fr/inria-00526261

. Springer, , 2002.

K. Bhargavan, C. Fournet, M. Kohlweiss, A. Pironti, P. Strub et al., Proving the tls handshake secure (as it is), International Cryptology Conference, pp.235-255, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01102231

L. P. Carloni, K. L. Mcmillan, A. Saldanha, and A. L. Sangiovannivincentelli, A methodology for correct-by-construction latency insensitive design, Proceedings of the 1999 IEEE/ACM International Conference on Computer-Aided Design, pp.309-315, 1999.

J. C. Corbett, J. Dean, M. Epstein, A. Fikes, C. Frost et al., Spanner: Gogle's globally distributed database, ACM Transactions on Computer Systems (TOCS), vol.31, issue.3, 2013.

L. De-alfaro and T. A. Henzinger, Interface automata, Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.109-120, 2001.

A. Desai, S. A. Seshia, S. Qadeer, D. Broman, and J. C. Eidson, Approximate synchrony: An abstraction for distributed almost-synchronous systems, International Conference on Computer Aided Verification, pp.429-448, 2015.

A. Dongare, P. Lazik, N. Rajagopal, and A. Rowe, Pulsar: A wireless propagation-aware clock synchronization platform, Real-Time and Embedded Technology and Applications Symposium (RTAS), 2017 IEEE, pp.283-292, 2017.

S. A. Edwards and E. A. Lee, The case for the precision timed (PRET) machine, Proceedings of the 44th Design Automation Conference, pp.264-265, 2007.

P. H. Feiler, B. A. Lewis, S. Vestal, and E. Colbert, An overview of the SAE architecture analysis & design language (AADL) standard: A basis for model-based architecture-driven embedded systems engineering, Architecture Description Languages -IFIP TC-2 Workshop on Architecture Description Languages (WADL), pp.3-15, 2004.

R. Gu, Z. Shao, H. Chen, X. N. Wu, J. Kim et al., Certikos: An extensible architecture for building certified concurrent os kernels, OSDI, vol.16, pp.653-669, 2016.

J. Online,

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., sel4: formal verification of an OS kernel, Proceedings of the 22nd ACM Symposium on Operating Systems Principles, pp.207-220, 2009.

S. Kong, S. Gao, W. Chen, and E. Clarke, dreach: ?-reachability analysis for hybrid systems, International Conference on TOOLS and Algorithms for the Construction and Analysis of Systems, pp.200-205, 2015.

C. Lamb, Why is IoT so insecure?, 2016.

T. T. Le and R. Passerone, Refinement-based synthesis of correct contract model decompositions, Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, pp.134-143, 2014.

S. Lunel, B. Boyer, and J. Talpin, Compositional proofs in differential dynamic logic dl, Application of Concurrency to System Design (ACSD), 2017 17th International Conference on, pp.19-28, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01615140

A. Madhavapeddy and D. J. Scott, Unikernels: Rise of the virtual library operating system, Queue, vol.11, issue.11, p.30, 2013.

S. Nakajima, J. Talpin, M. Toyoshima, and H. Yu, Cyber-physical system design from an architecture analysis viewpoint
URL : https://hal.archives-ouvertes.fr/hal-01615144

G. Plassan, Vérification formelle concluante des propriétés des systèmes multi-horloges, 2018.

A. Platzer, The structure of differential invariants and differential cut elimination, Logical Methods in Computer Science, vol.8, issue.4, 2011.

A. Platzer and J. Quesel, Keymaera: A hybrid theorem prover for hybrid systems (system description), Automated Reasoning, 4th International Joint Conference, pp.171-178, 2008.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science, pp.46-57, 1977.

D. Potop-butucaru, Y. Sorel, R. Simone, and J. Talpin, From concurrent multi-clock programs to deterministic asynchronous implementations, Fundam. Inform, vol.108, issue.1-2, pp.91-118, 2011.

J. Protzenko, J. Zinzindohoué, A. Rastogi, T. Ramananandro, P. Wang et al., Verified low-level programming embedded in f, Proceedings of the ACM on Programming Languages, vol.1, p.17, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01672706

J. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay et al., A modal interface theory for component-based design, Fundam. Inform, vol.108, issue.1-2, pp.119-149, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00554283

P. M. Rondon, M. Kawaguci, and R. Jhala, Liquid types, ACM SIGPLAN Notices, vol.43, pp.159-169, 2008.

I. Ruchkin, D. De-niz, S. Chaki, and D. Garlan, Contract-based integration of cyber-physical analyses, Embedded Software (EMSOFT), 2014 International Conference on, pp.1-10, 2014.

A. L. Sangiovanni-vincentelli, W. Damm, and R. Passerone, Taming dr. frankenstein: Contract-based design for cyber-physical systems, Eur. J. Control, vol.18, issue.3, pp.217-238, 2012.

I. Stierand, P. Reinkemeier, T. Gezgin, and P. Bhaduri, Real-time scheduling interfaces and contracts for the design of distributed embedded systems, 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, pp.130-139, 2013.

N. Swamy, C. Hri?cu, C. Keller, A. Rastogi, A. Delignat-lavaud et al., Dependent types and multi-monadic effects in f, In ACM SIGPLAN Notices, vol.51, pp.256-270, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01265793

J. Van-rantwijk, Arduino clock frequency accuracy, 2012.

H. Yu, P. Joshi, J. Talpin, S. K. Shukla, and S. Shiraishi, The challenge of interoperability: model-based integration for automotive control software, Proceedings of the 52nd Annual Design Automation Conference, vol.58, pp.1-58, 2015.

H. Zhao, N. Zhan, D. Kapur, and K. G. Larsen, A "hybrid" approach for synthesizing optimal controllers of hybrid systems: A case study of the oil pump industrial example, FM 2012: Formal Methods -18th International Symposium, pp.471-485, 2012.