Ужасы и мистикаFormal Methods for Industrial Critical Systems. A Survey of ApplicationsMargaria Tiziana, Gnesi Stefania