This document contains the lists of allowed packages and PP-Modules to which exact conformance can be claimed in conjunction with the above PP-Module. It is used in conjunction with the ‘CC ...

In addition to presenting the development methodology and implementation process for the PP Module of EKM, we distill lessons learned from developing and validating the PP Module to inspire future ...