A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use casesAvik SinhaAmit Paradkaret al.2009DSN 2009