Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. - Nikola Benes; Lubos Brim; Samuel Pastva; Jakub Polácek; David Safránek (ICFEM, 2019)