FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings - Jones, Cliff; Pihlajasaari, Pekka; Sun, Jun (Springer International Publishing : Imprint: Springer, 2014)