sur 20
Software Safety and Security — Tobias Nipkow, Orna Grumberg