Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings - Núñez, Manuel; Güdemann, Matthias (Springer International Publishing : Imprint: Springer, 2015)