Formal Methods for Industrial Critical Systems: A Survey of Applications

Book by Tiziana Margaria-Steffen