Formal Methods for Industrial Critical Systems - Marco Roveri - E-bok | Bokus