selected publications conference paper The KARYON project: Predictable and safe coordination in cooperative vehicular systems 2013