Specification and analysis of legal contracts with Symboleo | Litlas