Continuous-time markov jump linear systems (2013)