Technology and assessment of safety-critical systems : proceedings of the Second