Supervision and Dependability of Mechatronic Systems