María Alpuente Byron Cook Christophe Joubert Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings 5825 2009 http://dx.doi.org/10.1007/978-3-642-04570-7 978-3-642-04569-1 FMICS Lecture Notes in Computer Science Springer db/conf/fmics/fmics2009.html