publication venue for Querying Automotive System Models and Safety Artifacts: Tool Support and Case Study. 1:34-34. 2020
