Es esta página:
http://www.labcenter.comPor cierto el programa lo encontrarás en versión DEMO ya que es de pago, independientemente lo que te descargues busca librerias por internet, ya que el de serie yo almenos he notado que faltan librerías importantes, sobre todo los modelos de proteus para PCB.
Un ejemplo son los puñeteros modelos de PCB para display de 7 seg y el de algún tipo de pulsador que he llegado a dedicar horas a buscar y nada.