Reference architecture for high dependability on-board computers. - Nuno Silva; Alexandre Esper; Ricardo Barbosa 003; Johan Zandin; Claudio Monteleone (ISSRE (Supplemental Proceedings), 2013)