Industrial Use of Formal Methods, Formal Verification, Wiley, John Wiley & Sons,Production and industrial engineering,Mechanical engineering and materials, introduction; jeanlouis; ian oneill; toolset; highintegrity software; spark; overview; industrial applications; modelbased; markov; guen; generation; automatic; le; cases; testing; model; chain; test; preliminaries; examples,, , United States, en-UShttps://www.wiley.comintroduction; jeanlouis; ian oneill; toolset; highintegrity software; spark; overview; industrial applications; modelbased; markov; guen; generation; automatic; le; cases; testing; model; chain; test; preliminaries; examples, [BLURB],[CITY],,books, ebooks, biblet, Book2look