Formal Methods for Industrial Applications door Abrial