EU-Rent is a widely known case study being promoted as a basis for
demonstration of product capabilities. However, no in-depth case
analysis neither specification has been developed. Therefore, it was
considered interesting, useful and even necessary to develop a complete
study of the case, which would lead to its whole specification.
On the other hand, it was considered a good opportunity to test the
application of some proposals, such as alternate mechanisms to define
integrity constraints and derivation rules, as well as an alternative
approach to model events.Postprint (published version