The Complete Guide to SCION From Design Principles to Formal Verification - Chuat, Laurent. (Springer International Publishing,)