FM 2014: Formal methods 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings (Springer, 2014)