CATSY (Catalogue of System and Software Properties) aims at developing approaches to systematically categorize and derive (formal) properties from (informal) requirements specifications and to support their validation and the verification of their refinement along the different abstraction levels of the system development.