Cadena: An Integrated Environment for Developing High-Assurance Component-based Systems
Analyzing Component-based Designs: The Cadena Environment SAnToS Laboratory, Kansas State University, USA Matt Dwyer John.