Using Concurrency and Formal Methods for the Design of Safe Process Control (1996)

by T Cattel
Venue:Proc. PDSE/ICSE018 Workshop