Formal Methods Applied to Complex Systems