_id,doi,title
434,10.1109/TITS.2017.2778077,Safety-assured model-driven design of the multifunction vehicle bus controller