Modelling and securing European justice workflows