B. , C. Cassé, H. Rochange, C. And-sainrat, and P. , OTAWA: An Open Toolbox for Adaptive WCET Analysis, Workshop on Software Technologies for Embedded and Ubiquitous Systems, pp.35-46, 2010.

B. , N. Corke, P. And-langendoen, and K. , Darjeeling, a java compatible virtual machine for microcontrollers, Proceedings of the ACM/IFIP/USENIX Middleware '08 Conference Companion Companion '08, ACM, pp.18-23, 2008.

F. , M. And-dubé, and D. , Picbit: a Scheme system for the PIC microcontroller, Scheme and Functional Programming Workshop (SFPW'03), pp.7-15, 2003.

. Micropython, Python for microcontrollers -https://micropython.org

S. , V. And-feeley, and M. , PICOBIT: A Compact Scheme System For Microcontrollers, Proceedings of the 21st international conference on Implementation and application of functional languages IFL'09, pp.1-17, 2010.

V. , S. Vaugon, B. And-chailloux, and E. , Concurrent Programming of Microcontrollers, a Virtual Machine Approach, 8th European Congress on Embedded Real Time Software and Systems, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01292266

V. , B. Wang, P. And-chailloux, and E. , Programming Microcontrollers in OCaml: the OCaPIC Project, International Symposium on Practical Aspects of Declarative Languages (PADL 2015) no. 9131 in LNCS, pp.132-148, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01213289