Raamatud, mis on sarnased «Formal Methods for Industrial Critical Systems. A Survey of Applications», Gnesi Stefania