Computergestützte Konsistenzsicherung in der objektorientierten Systemanalyse,