Transcript Safety-Critical Systems - TKK / Laboratory for Theoretical