Title: Model-based fault diagnosis for mechatronic systems