info:eu-repo/grantAgreement/FCT/Investigador FCT/IF%2F01333%2F2013%2FCP1204%2FCT0001/PTTowards a semi-automatic model revision of logical regulatory networks