High-Level analysis of a target digital public service ()