Książki podobne do «Formal Methods for Industrial Critical Systems. A Survey of Applications», Gnesi Stefania