Using Concurrency and Formal Methods for the Design (1996)

by T Cattel
Venue:of Safe Process Control,” Proc. PDSE/ICSE018 Workshop