EOS

@article{EOS-2012.000-CKKSTCPJL,
title = {KARYON: towards safety kernels for cooperative vehicular systems},
author = {António Casimiro and Jörg Kaiser and Johan Karlsson and Elad Michael Schiller and Phillippas Tsigas and Pedro Costa and José Patrizi and Rolf Johansson and Renato Librino},
editor = {Springer-Verlag Berlin},
year = {2012},
date = {2012-10-01},
booktitle = {Stabilization, Safety and Security of Distributed Systems},
pages = {232-235},
address = {Toronto, Kanada},
keywords = {Cooperative Systems, KARYON, safety, vehicula systems}
}