Next steps • Develop a “straw-man” abstract syntax • Publish the second academic research paper • Explore different concrete implementations • Develop an abstract semantics, to facilitate automated checking and analysis • Explore the genericity of the abstract specification • Explore the use of semantic markup to assist workflow UNRESTRICTED 29