Paul Spirakis, Philippas Tsigas Stabilization, Safety, and Security of Distributed Systems - Springer Springer 2017 ISBN: 9783319690841 Source: EBOOK