Extended CPN model (includes additional procedures)
Updated specification findings