Exploiting Rauch-Tung-Striebel formulae for IMM-based smoothing of Markovian switching systems | IEEE Conference Publication | IEEE Xplore