Automation of the creation and execution of system level hardware-in-loop tests through model-based testing. - Viktor Aronsson Karlsson; Ahmed Almasri; Eduard Paul Enoiu; Wasif Afzal; Peter Charbachi (A-TEST@ESEC/SIGSOFT FSE, 2022)