selected publications chapter Fast DSE for Automated Parallelization of Embedded Legacy Applications. Lecture Notes in Computer Science. 2018