Partial assessment of ERMETS Formal Spec