Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Automated generation of formal safety conditions from railway interlocking tables
automatic generation and verification of railway interlocking control tables using fsm and nusmv summary .
Modelling Functionality of Train Control SystemsUsing Petri Nets
Learning to Verify Safety Properties
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
FMEA and Fault Tree based Software Safety Analysis of a Railroad Crossing Critical System
Automatic Railway System
A Formal Security Analysis of ERTMS Train to Trackside Protocols
Automating formal proofs for reactive systems
Comparison of CollisionAvoidance Systems and ApplicabilitytoRail Transport
Automatic Train Control System Development and Simulation for High-Speed Railways
Simulation within the railroad environment
dynamic model - based safety analysis : from state machines to temporal fault trees .
Integrating BIM and Safety : An Automated Rule-Based Checking System for Safety Planning and Simulation
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments
Revit-Based Automation Modeling for Intermediate Railway Station
Bi-objective conflict detection and resolution in railway traffic management
Pattern-based safety development methods: overview and comparison
Ten Commandments of Formal Methods
Towards integrated safety analysis and design
Development of an Ontology to Assist the Modeling of Accident Scenarii"Application on Railroad Transport"
Watch the Story Unfold with TextWheel: Visualization of Large-Scale News Streams
Multi-Tier Drone Architecture for 5G/B5G Cellular Networks: Challenges, Trends, and Prospects
Signalling Control Table Generation and Verification
SCANNING TECHNIQUES IN OBSTETRICS AND GYNECOLOGY
Intravenous immunoglobulin in lupus panniculitis.