Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018