The main reason we choose the OWL technology is to provide decidability to the Trust Contract. This is a very different approach where the smart contract is based on virtual machine and provides turing complete programming.
Then we found the Timed Automata model is a good fit to our blockchain to expand the limits of the computations of the OWL while keeping the whole system still decidable.