TIGER: a model based and rule based real-time tool for monitoring and diagnosis of dynamic systems | IET Conference Publication | IEEE Xplore