"EXOSAT"@cs .