Formal Methods in Systems Engineering