15 Apr 2018 TACAS 2018 proceedings available online and open access. Vol 1: https://link.springer.com/book/10.1007... TACAS 2018…