Verite, abstraction, and ordinateur systems in the evolution of complex process control | IEEE Conference Publication | IEEE Xplore