High-level functional model of the PDA tool Legacy Sky prototype ...