TITLE     : On the adoption of model checking in safety-related software industry
AUTHOR(S) : Fantechi Alessandro, Gnesi Stefania
TYPE      : Conference article
YEAR      : 2011
CODE      : 206263

*** DO NOT EDIT THIS FILE ***