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