Graphical Requirements for Multistationarity in Reaction Networks and their Verification in BioModels. - Adrien Baudier; François Fages; Sylvain Soliman (CoRR, 2018)