Operation-oriented specification for integrated control logic development | IEEE Conference Publication | IEEE Xplore