Self-Driving Software Benchmark for Model-Based Development2022-09-140 PRE AI DOI:10.3233/faia220234OriginalOriginal request for helpShareSaveAbstract En