Developing a distributed architecture for desing rule checking - Pais, Ana Paula Valente (Universidad Federal do Rio de Janeiro, 2001)