Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. - Silvia Bonfanti; Marco Carissoni; Angelo Gargantini; Atif Mashkoor (NFM, 2017)