Application of UML sequence diagram in CTCS-3 onboard system hazard identification | IEEE Conference Publication | IEEE Xplore