The ConSERTD effort: a control system environment for real-time decision-making | IEEE Conference Publication | IEEE Xplore