Formal Methods for Industrial Applications by Abrial