Marc-Michel Corsini Alain Griffault Antoine Rauzy Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms. 86-97 1993 conf/lpar/1993 LPAR db/conf/lpar/lpar93.html#CorsiniGR93 http://dx.doi.org/10.1007/3-540-56944-8_44