A domain specific language and methodology for control systems GUI specification, verification and prototyping | IEEE Conference Publication | IEEE Xplore