Book

Formal Methods for Industrial Critical Systems

by Kim Guldstrand Larsen, Tim Willemse