This release represents the first stable version of the specification, which is the one used to produce the analysis results reported in the ACM CPS-SPC 2018 paper, presented in conjunction with the ACM Conference on Computer and Communications Security (CCS), October 19 2018, Toronto, Canada.