Contratto – A Method for Transforming Legal Contracts into Formal Specifications