doi dblp A Comprehensive Approach to On-board Autonomy Verification and Validation Marco Bozzano | Alessandro Cimatti | Marco Roveri 2021 Volume 12 Issue 4