Model-based software tools for integrated vehicle health management | IEEE Conference Publication | IEEE Xplore