You are about to access our book library "Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings (Lecture Notes in Computer Science Book 10488) full version" .