Specification and implementation of components of a u CRL toolbox by D. Dams