Tools for the construction and analysis of systems: A special issue for TACAS 2018. - Beyer, Dirk; Huisman, Marieke (International Journal on Software Tools for Technology Transfer, 2020)