TOOLympics II: competitions on formal methods: A Special Issue for TOOLympics 2019. - Beyer, Dirk; Huisman, Marieke; Kordon, Fabrice; Steffen, Bernhard (International Journal on Software Tools for Technology Transfer, 2021)