Safety verification of degrading mechatronic systemsVain, Jüri; Kuusik, Alar; Kaljas, FridThe Fourth International Conference on Machine Automation : Human-Friendly Reliable Mechatronics, September 11-13, 2002, Tampere, Finland : proceedings of the ICMA'022002 / p. 615-622 : ill