On the detectability and observability of discrete-time Markov jump linear systems. - Eduardo E. Costa; João B. R. do Val (CDC, 2000)