We are a small company from Argentina formed exclusively by Ms.C.s and Ph.D.s in Computer Sciences. We have a very strong background in formal methods and software specification. As an example we study a full course on ADT specification, we also study Z at the undergrad level. More than that, some our people are currently doing Ph.D.s related to software specification. We are sure we can help you.
Anyway, the completion time is not a real estimate as we couldn't access the PDF that you mentioned on the description. Maybe if you can update the description and make sure the attachment is there we can give you a better estimate.
Thank you!