selected publications academic article A High Availability Vital Computer for Railway Applications: Architecture & Safety Principles. . 2008