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)

3rd Workshop on Architecting Safety in Collaborative Mobile Systems (ASCoMS). - Renato Librino; Martin Törngren (SAFECOMP Workshops, 2014)

Model-Based Analysis and Engineering of Automotive Architectures with EAST-ADL: Revisited. - Ramin Tavakoli Kolagari; De-Jiu Chen; Agnes Lanusse; Renato Librino; Henrik Lönn; Nidhal Mahmud; Chokri Mraidha; Mark-Oliver Reiser; Sandra Torchiaro; Sara Tucci Piergiovanni; Tobias Wägemann; Nataliya Yakymets (Int. J. Concept. Struct. Smart Appl., 2015)