Diseño por Contrato con OVal y Spring

OVal es un framework de validación para Java, que permite realizar comprobaciones a cualquier tipo de objetos y crear soluciones usando un enfoque de Diseño por Contrato. En el artículo Diseño por Contrato con OVal y Spring les dejo una breve introducción al Diseño por Contrato, y cómo utilizar OVal junto a Spring Framework para crear una infraestructura que facilite esta práctica. Además les dejo un proyecto de ejemplo para descargar, que contiene las clases del artículo y las librerías necesarias para ejecutarlo.

Seguramente en donde trabajo comenzaremos a utilizar OVal en reemplazo de SpringContracts. ¿Alguien tiene experiencia con este framework?