DOI,IST REx ID,Research Group,Title of publication
10.1109/TITS.2017.2778077,434,ToHe,Safety-assured model-driven design of the multifunction vehicle bus controller