A graphical paradigm facilitating correct programming of complex computer control systems | IEEE Conference Publication | IEEE Xplore