Brief Announcement: KARYON: Towards Safety Kernels for Cooperative Vehicular Systems. - António Casimiro; Jörg Kaiser; Johan Karlsson; Elad Michael Schiller; Philippas Tsigas; Pedro Costa; José Parizi; Rolf Johansson 002; Renato Librino (SSS, 2012)

The KARYON project: Predictable and safe coordination in cooperative vehicular systems. - António Casimiro; Jörg Kaiser; Elad Schiller; Pedro Costa; José Parizi; Rolf Johansson 002; Renato Librino (DSN Workshops, 2013)