Floor Koornneef, Coen van Gulijk Computer Safety, Reliability, and Security - 1st ed. 2015 - Springer International Publishing 2015 - 9338 - Lecture Notes in Computer Science . ISBN: 978-3-319-24249-1 ISSN: 1611-3349