Title: Computer-aided verification of coordinating processes
First published: 1994