Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines. - Christof Kaukewitsch; Henrik Papist; Marc Zeller; Martin Rothfelder (CoRR, 2020)