Formal Methods for Industrial Critical Systems: A Survey of Applications - Gnesi (IEEE, 2013)