Formal Methods In Systems Engineering by Peter Ryan