Formal methods for industrial critical systems : 20th international workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 : proceedings