Automatic HAL generation for embedded multiprocessor systems. - Merten Popp; Orlando Moreira; Wim Yedema; Menno Lindwer (EMSOFT, 2016)