Querying Automotive System Models and Safety Artifacts with MMINT and Viatra.

Alessio Di Sandro, Sahar Kokaly, Rick Salay, Marsha Chechik

Browse the full MODELS paper archive.