DiagDO: an efficient model based diagnosis approach with multiple observations