Text this: Realizability theory for continuous systems.