Institutionalised Consensus in Vehicular Networks: Executable Specification and Empirical Validation | IEEE Conference Publication | IEEE Xplore