Quality, reliability, security and robustness in heterogeneous systems 13th International Conference, QShine 2017, Dalian, China, December 16-17, 2017 : proceedings - Wang, Lei; Qiu, Tie; Zhao, Wenbing (Springer, 2018)