Invited Talks.- Probabilistic Validation of Computer System Survivability.- Timed Asynchronous Di...