CHESS: an Open Source Methodology and Toolset for the Development of Critical Systems.

Silvia Mazzini, John M. Favaro, Stefano Puri, Laura Baracchi

Browse the full MODELS paper archive.