"Spacetel"@cs .