D1.2/fmk.tla first TLA draft of this Case study.