FM 2014: Formal methods : 19th international symposium, Singapore, May 12 - 16, 2014 ; proceedings / Cliff Jones ... (eds.). Cham [u.a.] : Springer, 2014