If I were doing it, I'd use an RF Systems matrix and a Crestron CNMSX-AV controlled by a Crestron ST-1550c. The matrix model would depend on the # of sources, the # of TVs and the type of video.
With this you could easily select any source on any set, with up to 32 discrete IR ports for controlling common source brands. Programming it would, however, be a serious project.
Go to
www.crestron.com &
www.rfsystems.com for more info.