@inproceedings{4397263,
 author = {Peggy B. McGee and Steve M. Nowick},
 title = {An efficient algorithm for time separation of events in concurrent systems},
 booktitle = {IEEE/ACM International Conference on Computer-Aided Design},
 year = {2007},
 pages = {180 -- 187},
 location = {San Jose, CA},
 doi = {10.1109/ICCAD.2007.4397263},
 }