scheduling

For those of you who work for the airlines, what scheduling program do you use to schedule your employees? Specifically dispatchers - is there a program out there that accounts for regulations and mandatory rest for them?