Ugo A. Buy Robert Moll A Specification-Based Approach to Concurrency Analysis. 265-309 1995 2 Autom. Softw. Eng. 4 db/journals/ase/ase2.html#BuyM95