Pascal Béger, Sébastien Leriche, Daniel Prun: A Survey of Papers from Formal Methods for Interactive Systems (FMIS) Workshops. FM Workshops (1) 2019: 443-464