Ke Jiang: Security-Driven Design of Real-Time Embedded Systems. Linköping University, Sweden 2015