Models and algorithms for race analysis in asynchronous circuits