Abstraction-Based Parameter Synthesis for Multiaffine Systems. - Bogomolov, Sergiy; Schilling, Christian; Bartocci, Ezio; Batt, Grégory; Kong, Hui; Grosu, Radu (2015)