Formalizing and enriching phenotype signatures using Boolean networks. (21st April 2019)