ContracT – from Legal Contracts to Formal Specifications: Preliminary Results