Main characteristics: requirements driven, recursive [version 1]