Reliability analysis of mechatronic systems using censored data and petri nets: application on an antilock brake system (abs) | IEEE Conference Publication | IEEE Xplore