Property preserving transition refinement with concurrent runs: an example | IEEE Conference Publication | IEEE Xplore