A method of program Synthesis for failsafe interlocking devices in railway signaling
Superconducting magnet suspensions in high speed ground transport
Space benefits: The secondary application of aerospace technology in other sectors of the economy