Formal analysis of Piecewise Affine systems under parameter uncertainty with application to gene networks | IEEE Conference Publication | IEEE Xplore