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.