_id,doi,title
1205,10.1007/978-3-319-48989-6_47,Safety assured formal model driven design of the multifunction vehicle bus controller