A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch Preprint in arXiv (April 2023)