Formal refinement of informal GUI design artefacts | IEEE Conference Publication | IEEE Xplore