Formal Development of Resilient Distributed Systems. Vol.  PhD Dissertation. Turku, Finland: Abo Akademi University, Faculty of Science and Engineering, 2015.