Gerd Behrmann Kim Guldstrand Larsen Jacob Illum Rasmussen Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness. 81-94 2005 conf/formats/2005 FORMATS http://dx.doi.org/10.1007/11603009_7 db/conf/formats/formats2005.html#BehrmannLR05