Reliability analysis for complex industrial real-time systems: application on an antilock brake system | IEEE Conference Publication | IEEE Xplore