Petr Matousek Tools for Parametric Verification. A Comparison on a Case Study. 1469-1494 2004 10 J. UCS 10 http://www.jucs.org/jucs_10_10/tools_for_parametric_verification db/journals/jucs/jucs10.html#Matousek04