A Formal Development Approach for Self-Organising Systems - Li, Qin; Smith, Graeme (2014 Theoretical Aspects of Software Engineering Conference, Theoretical Aspects of Software Engineering Conference (TASE), 2014, 2014)