rootbrowseIAC-15D5session IPIP. Interactive PresentationsPapers1. Calculation of the Number of Redundant Actuators for Tolerating Actuator Faults2. Support of the space project management in the Czech Republic3. CREATING A RISK-AWARE CULTURE AS A MAJOR DRIVER FOR SYSTEM VERIFICATION