Model reduction of continuous-time stochastic linear control systems via bisimulation equivalence | IEEE Conference Publication | IEEE Xplore