SAFETY ANALYSIS USING MODEL CHECKING FOR MECHATRONIC SYSTEMS: INTEGRATION IN MODEL-BASED SYSTEM ENGINEERING DESIGN PROCESS

Publication
Research and Innovation for transport systems of the future