selected publications academic article T-CREST: Time-predictable multi-core architecture for embedded systems. Journal of Systems Architecture. 61:449-471. 2015