Klaus Estenfeld Hans-Albert Schneider Dirk Taubner Erik Tidén Computer Aided Verification of Parallel Processes. 208-226 1991 conf/vis/1991 VIS db/conf/vis/vis91.html#EstenfeldSTT91