Verification tasks from three software product lines.
Contributed by Alexander von Rhein.