Verification tasks from the RERS Grey Box Challenge 2012.

Documentation of the challenge:
Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, and Dirk Beyer.
The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems.
Proc. ISoLA, Springer, 2012.