OpenSBT: A Modular Framework for Search-Based Testing of Automated Driving Systems | IEEE Conference Publication | IEEE Xplore