Bashar Nuseibeh Anthony Finkelstein Jeff Kramer Fine-Grain Process Modelling. 42-46 1993 conf/iwssd/1993 IWSSD db/conf/iwssd/iwssd1993.html#NuseibehFK93