Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods