Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: SysML and safety analysis for mechatronic systems
Reliability study of complex physical systems using SysML
model - based quantitative safety analysis of matlab simulink / stateflow models .
Model-Based Safety Analysis for Vehicle Guidance Systems
Analyzing software requirements errors in safety-critical, embedded systems
Architectural Modeling and Analysis for Safety Engineering
A Qualitative Safety Analysis Method for AADL Model
Case Study On SYSML and VHDL-AMS for Designing and Validating Systems
A Dissipativity Approach to Safety Verification for Interconnected Systems
When hard realtime matters: Software for complex mechatronic systems
Learning Lessons from Accidents and Incidents Involving Safety-Critical Software Systems
model - driven development of reconfigurable mechatronic systems with mechatronic uml .
Study of Safety Analysis and Assessment Methodology for AADL Model
simulation - based design using sysml part 1 : a parametrics primer .
STPA-SafeSec: Safety and security analysis for cyber-physical systems
Extending Automotive SPICE to Cover Functional Safety Requirements and a Safety Architecture
Port-based modeling of mechatronic systems
CHANGE IMPACT ANALYSIS FOR SYSML REQUIREMENTS MODELS BASED ON SEMANTICS OF TRACE RELATIONS
Modular design of mechatronic systems with function modeling
Maintainability and safety indicators at design stage for mechanical products
A Static Analyzer for Large Safety-Critical Software
A Method and Tool Support for Model-based Semi-automated Failure Modes and Effects Analysis of Engineering Designs
“ it ' s ok — not everyone can be good at math ” : instructors with an entity theory comfort ( and demotivate ) students .
Managing and Mining Sensor Data
High-Frequency Modeling of Power Transformers for Use in Frequency Response Analysis (FRA)
ON NORMS AND ETHICS IN THE DISCOURSE ON INTERPRETING