FMSP: Formal Methods in Software Practice