Email (record): Security analysis of systems under cyber threats using labeled timed probabilistic automata