Sebastiani, Roberto and Singerman, Eli and Tonetta, Stefano and Y. Vardi, Moshe (2004) GSTE is Partitioned Model Checking. UNSPECIFIED.