SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems.

Lap-Ming Liu N. S. Pryes SPCHECK: A Specification-Based Tool for INterface Checking of Large, Real-Time/Distributed Systems. 55-60 1989 IFIP Congress db/conf/ifip/ifip89.html#LiuP89