Steven Varoumas, Basile Pesin, Benoît Vaugon, Emmanuel Chailloux: Programming microcontrollers through high-level abstractions. VMIL@SPLASH 2020: 5-14