Wojciech Penczek Model-Checking for a Subclass of Event Structures. 145-164 1997 conf/tacas/1997 TACAS db/conf/tacas/tacas97.html#Penczek97