TITLE     : PRIDE: an integrated software development environment for dependable systems
AUTHOR(S) : Mazzini S, Latella D, Viva D
TYPE      : Conference article
YEAR      : 2004
CODE      : 91097

*** DO NOT EDIT THIS FILE ***