A biocomputational platform for the automated construction of large-scale mathematical models of miRNA-transcription factor networks for studies on gene dosage compensation | IEEE Conference Publication | IEEE Xplore