@inproceedings{AHK10,
 author    = {S. Almagor and Y. Hirshfeld and O. Kupferman},
 title     = {Promptness in omega-Regular Automata}, 
 booktitle = atva10,
 serias    = lncs,
 volume    =  6252,
 year      = {2010},
 pages     = {22--36}
}