1: Efficient pebbling for list traversal synopses 2: Symbolic Parametric Analysis of Embedded Systems with BDD-like Data-Structures