Formal methods for industrial critical systems 19th international conference, FMICS 2014, Florence, Italy, September 11 - 12, 2014 (Springer, 2014)