In summer these buses do fill up.
Tickets may be transferable but only if presented to the ticket office one hour before the bus in question departs.
However, I can tell you now from personal experience that if your plane arrives at 09:05 there is absolutely no way you will make the 10:30 EVA coach from Sete Rios bus station, unless you are only travelling with carry-on bags and even then it will be a push.
It will take at least 45 minutes from landing to clearing immigration, collecting your hold baggage and clearing customs. You then need get a cab and if there is a queue for taxis that could take another 10 minutes. You then need to allow for at least 15 minutes to get to Sete Rios bus station.
The above timing does not allow for unforeseen events.
Much better to take your time and get the 12:30.r at least 15 minutes to get to Sete Rios bus station.
