Cattel. Using Concurrency and Formal Methods for the Design of Safe Process Control. Springer US, 1996, doi:10.1007/978-0-387-34984-8_16.