(High-level Mapping with UTP Research Methodology)