- Include TLA representation of the FMK use case in the D1.2