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

Formal Goal-Oriented Development of Resilient MAS in Event-B In Proceedings of 17th International Conference on Reliable Software Technologies. Berlin, Heidelberg: Springer-Verlag, 2012.