Book

Formal Methods for Industrial Critical Systems

by Maurice H. ter Beek, Dejan Ničković