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