DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-48989-6_47,1205,ToHe,Safety assured formal model driven design of the multifunction vehicle bus controller