Introducing MISS, a new tool for collision avoidance analysis and design. - Juan Luis Gonzalo; Camilla Colombo; Pierluigi Di Lizia (CoRR, 2020)