Safety Kernel for Cooperative Sensor-Based Systems. - Pedro Nóbrega Da Costa; João Craveiro; António Casimiro; José Rufino (ASCoMS@SAFECOMP, 2013)