A linguistic analysis engine for natural language use case description and its application to dependability analysis in industrial use cases.