selected publications academic article Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture. Journal of Systems Architecture. 74:30-45. 2017