Characterising Sound Visualisations of Specifications Using Micro-Charts and Refinement | IEEE Conference Publication | IEEE Xplore