They use some Asterisk. There is also a significant (and well-known) commercial component proprietary to the enhanced voice application services industry, although there are various reasons for which I cannot disclose what it is.