author : Arturo Sanchez

Short works

• Compositional Specification of Controllers for Batch Process Operations. 1998. (In ZUM '98 )
• Specification of a Chemical Process Controller in B. 1999. (In Industrial-Strength Formal Methods in Practice )