"Vertigo Software"@cs .