A service for remote model reduction of very large linear systems | IEEE Conference Publication | IEEE Xplore