B.: The concurrency workbench: A semanticsbased verification tool for finite state systems (1993)

by R Cleaveland, J Parrow, Steffen
Venue:ACM TOPLAS