A system-design methodology: executable-specification refinement | IEEE Conference Publication | IEEE Xplore