TEXSYS: a large scale demonstration of model-based real-time control of a space station subsystem | IEEE Conference Publication | IEEE Xplore