kboolnet: a toolkit for the verification, validation, and visualization of reaction-contingency (rxncon) models. - Willow Carretero Chavez; Marcus Krantz; Edda Klipp; Irina Kufareva (BMC Bioinform., 2023)